Package Details: agda-git 2.5.1.r5471.51914041f-2

Git Clone URL: (read-only)
Package Base: agda-git
Description: A dependently typed functional programming language and proof assistant: development version
Upstream URL:
Licenses: custom
Conflicts: agda
Provides: agda
Submitter: johngowers
Maintainer: johngowers
Last Packager: johngowers
Votes: 1
Popularity: 0.015403
First Submitted: 2018-06-21 20:18
Last Updated: 2018-06-24 22:06

Latest Comments

DrPhil commented on 2018-09-27 15:17

I believe haskell-filemanip and haskell-aeson should be included in dependencies.