idris 1.0-17.hyperbola1

Architecture: x86_64
Repository: Community
Description: Functional Programming Language with Dependent Types
Upstream URL:
License(s): Modified-BSD
Maintainers: Orphan
Package Size: 24.8 MB
Installed Size: 185.5 MB
Last Packager: HyperBuilder <hyperbuilder@hyperbola.info>
Build Date: 2019-08-06 01:56 UTC
Signed By: Unknown (0xE1AC7510)
Signature Date: 2019-08-06 02:56 UTC
Last Updated: 2019-08-06 05:01 UTC