Dependencies for Agda-2.6.4
There is a total of 45 dependencies in lts-21.16
- aeson-2.1.2.1@rev:3
- Agda-2.6.4@rev:1
- ansi-terminal-0.11.5
- array-0.5.4.0
- async-2.2.4@rev:4
- base-4.17.2.0
- binary-0.8.9.1
- blaze-html-0.9.1.2@rev:4
- boxes-0.1.5
- bytestring-0.11.5.2
- case-insensitive-1.2.1.0
- containers-0.6.7
- data-hash-0.2.0.1
- deepseq-1.4.8.0
- directory-1.3.7.1
- dlist-1.0@rev:1
- edit-distance-0.2.2.1@rev:1
- equivalence-0.4.1
- exceptions-0.10.5
- filepath-1.4.2.2
- ghc-compact-0.1.0.0
- gitrev-1.3.1
- hashable-1.4.3.0@rev:1
- haskeline-0.8.2
- monad-control-1.0.3.1
- mtl-2.2.2
- murmur-hash-0.1.0.10@rev:1
- parallel-3.2.2.0@rev:7
- peano-0.1.0.1@rev:3
- pretty-1.1.3.6
- process-1.6.17.0
- regex-tdfa-1.3.2.2@rev:2
- split-0.2.3.5
- stm-2.5.1.0
- STMonadTrans-0.4.7@rev:1
- strict-0.5@rev:1
- text-2.0.2
- time-1.12.2
- time-compat-1.9.6.1@rev:6
- transformers-0.5.6.2
- unordered-containers-0.2.19.1@rev:3
- uri-encode-1.5.0.7@rev:3
- vector-0.13.1.0
- vector-hashtables-0.1.1.3
- zlib-0.6.3.0@rev:3