Package details
Package idris
Version 1.3.0-r1
Description A Language with Dependent Types
License BSD-3-Clause
Branch edge
Repository testing
Architecture x86_64
Size 32.19 MB
Installed size 141.87 MB
Origin idris
Maintainer Mitch Tishmack
Build time 2018-10-09 06:57:39
Commit 16f8ceb8e2d24fc6e5dccc926d86c48ad52a8b64
Git repository Git repository
Build log Build log
Contents Contents of package
Depends (7)
Required by (0)
Sub Packages (1)