Dependencies for Agda-2.5.4.2
There is a total of 36 dependencies in lts-12.22
- Agda-2.5.4.2
- array-0.5.2.0
- async-2.2.1@rev:1
- base-4.11.1.0
- binary-0.8.5.1
- blaze-html-0.9.1.1
- boxes-0.1.5
- bytestring-0.10.8.2
- containers-0.5.11.0
- data-hash-0.2.0.1
- deepseq-1.4.3.0
- directory-1.3.1.5
- EdisonCore-1.3.2.1
- edit-distance-0.2.2.1@rev:1
- equivalence-0.3.3
- filepath-1.4.2
- geniplate-mirror-0.7.6@rev:1
- gitrev-1.3.1
- hashable-1.2.7.0@rev:1
- hashtables-1.2.3.1
- haskeline-0.7.4.3
- ieee754-0.8.0
- mtl-2.2.2
- murmur-hash-0.1.0.9
- pretty-1.1.3.6
- process-1.6.3.0
- regex-tdfa-1.2.3.1
- stm-2.4.5.1
- strict-0.3.2
- template-haskell-2.13.0.0
- text-1.2.3.1
- time-1.8.0.2
- transformers-0.5.5.0
- unordered-containers-0.2.9.0
- uri-encode-1.5.0.5
- zlib-0.6.2