Dependencies for Agda-2.6.1.3
There is a total of 39 dependencies in lts-18.0
- aeson-1.5.6.0@rev:1
- Agda-2.6.1.3
- array-0.5.4.0
- async-2.2.3
- base-4.14.1.0
- binary-0.8.8.0
- blaze-html-0.9.1.2@rev:1
- boxes-0.1.5
- bytestring-0.10.12.0
- containers-0.6.2.1
- data-hash-0.2.0.1
- deepseq-1.4.4.0
- directory-1.3.6.0
- edit-distance-0.2.2.1@rev:1
- equivalence-0.3.5
- exceptions-0.10.4@rev:2
- filepath-1.4.2.1
- geniplate-mirror-0.7.7
- ghc-compact-0.1.0.0
- gitrev-1.3.1
- hashable-1.3.0.0@rev:2
- hashtables-1.2.4.1
- haskeline-0.8.1.2
- ieee754-0.8.0
- mtl-2.2.2
- murmur-hash-0.1.0.9
- pretty-1.1.3.6
- process-1.6.9.0
- regex-tdfa-1.3.1.1
- split-0.2.3.4@rev:1
- stm-2.5.0.0
- strict-0.4.0.1
- template-haskell-2.16.0.0
- text-1.2.4.1
- time-1.9.3
- transformers-0.5.6.2
- unordered-containers-0.2.14.0
- uri-encode-1.5.0.7@rev:1
- zlib-0.6.2.3