Package details
Package idris
Version 1.3.3-r0
Description A Language with Dependent Types
License BSD-3-Clause
Branch edge
Repository testing
Architecture x86_64
Size 31.64 MB
Installed size 132.28 MB
Origin idris
Maintainer Mitch Tishmack
Build time 2020-07-03 12:54:37
Commit f76bb2d8c7005a7d84828b031a2f52db22b5dcae
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (7)
Required by (0)
Sub Packages (1)