Dependencies for Agda-2.5.1.1
There is a total of 36 dependencies in lts-7.12
- Agda-2.5.1.1@rev:1
- array-0.5.1.1
- base-4.9.0.0
- binary-0.8.3.0
- boxes-0.1.4
- bytestring-0.10.8.1
- containers-0.5.7.1
- data-hash-0.2.0.1
- deepseq-1.4.2.0
- directory-1.2.6.2
- EdisonAPI-1.3.1
- EdisonCore-1.3.1.1
- edit-distance-0.2.2.1@rev:1
- equivalence-0.3.1
- filemanip-0.3.6.3
- filepath-1.4.1.0
- geniplate-mirror-0.7.4
- hashable-1.2.4.0
- hashtables-1.2.1.0
- haskeline-0.7.2.3
- haskell-src-exts-1.17.1@rev:1
- monadplus-1.4.2
- mtl-2.2.1@rev:1
- parallel-3.2.1.0
- pretty-1.1.3.3
- process-1.4.2.0
- QuickCheck-2.8.2
- strict-0.3.2
- template-haskell-2.11.0.0
- text-1.2.2.1
- time-1.6.0.1
- transformers-0.5.2.0
- transformers-compat-0.5.1.4
- unordered-containers-0.2.7.1
- xhtml-3000.2.1
- zlib-0.6.1.2