Search Criteria
Package Details: agda-git 2.5.1.r5471.51914041f-2
| Git Clone URL: | https://aur.archlinux.org/agda-git.git (read-only) |
|---|---|
| Package Base: | agda-git |
| Description: | A dependently typed functional programming language and proof assistant: development version |
| Upstream URL: | http://wiki.portal.chalmers.se/agda/ |
| Licenses: | |
| Conflicts: | |
| Provides: | |
| 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 |
Dependencies (26)
- ghc-libs
- haskell-async
- haskell-blaze-html
- haskell-boxes
- haskell-cpphs
- haskell-data-hash
- haskell-edisonapi
- haskell-edisoncore
- haskell-edit-distance
- haskell-equivalence
- haskell-geniplate-mirror
- haskell-gitrev
- haskell-hashable
- haskell-hashtables
- haskell-ieee754
- haskell-murmur-hash
- haskell-regex-tdfa
- haskell-strict
- haskell-unordered-containers
- haskell-uri-encode
- haskell-zlib
- alex (make)
- ghc (ghc-raspbian-bin) (make)
- git (git-git) (make)
- happy (make)
- agda-stdlib (optional) – for standard library
Latest Comments
DrPhil commented on 2018-09-27 15:17
I believe
haskell-filemanipandhaskell-aesonshould be included in dependencies.