Dependencies for Agda-2.4.2.3
There is a total of 32 dependencies in nightly-2015-09-13
- Agda-2.4.2.3@rev:2
- array-0.5.1.0
- base-4.8.1.0
- binary-0.7.5.0
- boxes-0.1.4@rev:1
- bytestring-0.10.6.0
- containers-0.5.6.2
- data-hash-0.2.0.1
- deepseq-1.4.1.1
- directory-1.2.2.0
- edit-distance-0.2.2.1@rev:1
- equivalence-0.3.1
- filepath-1.4.0.0
- geniplate-mirror-0.7.1
- hashable-1.2.3.3@rev:2
- hashtables-1.2.0.2
- haskeline-0.7.2.1
- haskell-src-exts-1.16.0.1@rev:1
- mtl-2.2.1@rev:1
- parallel-3.2.0.6@rev:1
- pretty-1.1.2.0
- process-1.2.3.0
- QuickCheck-2.8.1@rev:1
- strict-0.3.2
- template-haskell-2.10.0.0
- text-1.2.1.3@rev:1
- time-1.5.0.1
- transformers-0.4.2.0
- transformers-compat-0.4.0.4
- unordered-containers-0.2.5.1@rev:1
- xhtml-3000.2.1
- zlib-0.5.4.2