Search Criteria
Package Details: agda-git 2.5.1.r8151.g4108da695-1
Git Clone URL: | https://aur.archlinux.org/agda-git.git (read-only, click to copy) |
---|---|
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: | 3 |
Popularity: | 0.000008 |
First Submitted: | 2018-06-21 20:18 |
Last Updated: | 2020-11-12 20:31 |
Dependencies (30)
- ghc-libs
- haskell-aeson
- haskell-async
- haskell-bifunctors
- haskell-blaze-html
- haskell-boxes
- haskell-cpphs
- haskell-data-hash
- haskell-edisonapi
- haskell-edisoncore
- haskell-edit-distance
- haskell-equivalence
- haskell-filemanip
- haskell-geniplate-mirror
- haskell-gitrev
- haskell-hashable
- haskell-hashtables
- haskell-ieee754
- haskell-monad-control
- 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
Required by (2)
- agda-categories (requires agda)
- agda-cubical (requires agda)
Latest Comments
LightQuantum commented on 2020-10-16 06:36
It seems that
haskell-case-insensitive
should be added to the dependency list.Forty-Bot commented on 2019-04-22 19:06
Ok, I made some patches to fix this: 0001-Fix-compilation-for-2.6.0.patch and 0002-Don-t-use-a-separate-lib-target.patch. I've reproduced their contents below:
Forty-Bot commented on 2019-04-22 14:46
The build fails for agda 2.6 with
DrPhil commented on 2018-09-27 15:17
I believe
haskell-filemanip
andhaskell-aeson
should be included in dependencies.