Dependencies for Agda-2.8.0
There is a total of 34 dependencies in nightly-2026-01-18
- aeson-2.2.3.0@rev:4
- Agda-2.8.0@rev:2
- ansi-terminal-1.1.5
- async-2.2.6
- blaze-html-0.9.2.0@rev:1
- boxes-0.1.5
- case-insensitive-1.2.1.0
- data-hash-0.2.0.1
- dlist-1.0@rev:2
- edit-distance-0.2.2.1@rev:1
- enummapset-0.7.3.0@rev:1
- equivalence-0.4.1.1
- filelock-0.1.1.8
- filemanip-0.3.6.3@rev:1
- generic-data-1.1.0.2@rev:1
- ghc-compact-0.1.0.0@rev:6
- gitrev-1.3.1
- hashable-1.5.1.0
- monad-control-1.0.3.1
- murmur-hash-0.1.0.11
- nonempty-containers-0.3.5.0
- parallel-3.3.0.0@rev:1
- peano-0.1.1.0
- pqueue-1.6.0.0@rev:1
- process-extras-0.7.4@rev:1
- regex-tdfa-1.3.2.5
- split-0.2.5
- STMonadTrans-0.4.8.1
- strict-0.5.1@rev:1
- unordered-containers-0.2.21@rev:2
- uri-encode-1.5.0.7@rev:3
- vector-0.13.2.0@rev:2
- vector-hashtables-0.1.2.1@rev:1
- zlib-0.7.1.1