Ecosyste.ms: Repos
An open API service providing repository metadata for many open source software ecosystems.
GitHub / zzmjohn / agda
Agda is a dependently typed programming language / interactive theorem prover.
JSON API: https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/zzmjohn%2Fagda
Fork of agda/agda
Stars: 0
Forks: 0
Open Issues: 0
License: other
Language: Haskell
Repo Size: 74.7 MB
Dependencies:
69
Created: over 8 years ago
Updated: about 1 year ago
Last pushed: over 8 years ago
Last synced: about 1 year ago
Files
Loading...
Readme
Loading...
Dependencies
Agda.cabal
hackage
- Agda ==2.4.3
- QuickCheck ==2.8.*
- Win32 >=2.2 && <2.4
- array >=0.4.0.1 && <0.6
- base >=4.6.0.1 && <4.9
- base >=4.6.0.1 && <6
- base-orphans >=0.3.1 && <0.5
- binary >=0.7.2.1 && <0.8
- boxes >=0.1.3 && <0.2
- bytestring >=0.10.0.2 && <0.11
- containers >=0.5.0.0 && <0.6
- data-hash >=0.2.0.0 && <0.3
- deepseq >=1.3.0.1 && <1.5
- directory >=1.2.0.1 && <1.3
- edit-distance >=0.2.1.2 && <0.3
- equivalence >=0.2.5 && <0.4
- filemanip >=0.3.6.3 && <0.4
- filepath >=1.3.0.1 && <1.5
- geniplate-mirror >=0.6.0.6 && <0.8
- hashable >=1.2.1.0 && <1.3
- hashtables >=1.0.1.8 && <1.2 || >=1.2.0.2 && <1.3
- haskeline >=0.7.1.3 && <0.8
- haskell-src-exts >=1.16.0.1 && <1.17
- mtl >=2.1.1 && <=2.1.3.1 || >=2.2.1 && <2.3
- parallel >=3.2.0.4 && <3.3
- parsec ==3.1.*
- pretty >=1.1.1.0 && <1.1.1.2 || >=1.1.2 && <1.2
- process >=1.1.0.2 && <1.3
- strict >=0.3.2 && <0.4
- template-haskell >=2.8.0.0 && <2.11
- text >=0.11.3.1 && <1.3
- time >=1.4.0.1 && <1.6
- transformers ==0.3.* || >=0.4.1.0 && <0.5
- transformers-compat >=0.3.3.3 && <0.5
- uhc-light >=1.1.9.0 && <1.2
- uhc-util >=0.1.5.5
- unordered-containers >=0.2.5.0 && <0.3
- uulib >=0.9.20
- void >=0.5.4 && <0.9
- xhtml >=3000.2.1 && <3000.3
- zlib >=0.4.0.1 && <0.6.1
- array >=0.4.0.1 && <0.6 test
- base >=4.6.0.1 && <4.9 test
- bytestring >=0.10.0.2 && <0.11 test
- containers >=0.5.0.0 && <0.6 test
- directory >=1.2.0.1 && <1.3 test
- filepath >=1.3.0.1 && <1.5 test
- process >=1.1.0.2 && <1.3 test
- process-extras >=0.2.0 && <0.4 test
- regex-tdfa >=1.2.0 && <1.3 test
- regex-tdfa-text >=1.0.0.3 && <1.1 test
- tasty >=0.10 && <0.12 test
- tasty-silver >=3.1.7 && <3.2 test
- temporary >=1.2.0.3 && <1.3 test
- text >=0.11.3.1 && <1.3 test
src/hTags/hTags.cabal
hackage