Dependencies for agda2train-0.0.3.0
Libraries
agda2train:agda2train-lib
- aeson (>=2.0 && <2.3)
- Agda (>=2.6.3 && <2.6.4)
- async (>=2.2 && <2.3)
- base (>=4.12.0.0 && <4.20)
- containers (>=0.5.11.0 && <0.8)
- file-embed (==0.0.15.0)
- mtl (>=2.2.1 && <2.4)
- pretty (>=1.1.3.3 && <1.2)
Executables
agda2train
- aeson (>=2.0 && <2.3)
- aeson-pretty (==0.8.10)
- Agda (>=2.6.3 && <2.6.4)
- agda2train
- async (>=2.2 && <2.3)
- base (>=4.12.0.0 && <4.20)
- bytestring (>=0.10.8.1 && <0.13)
- containers (>=0.5.11.0 && <0.8)
- deepseq (>=1.4.2.0 && <1.6)
- directory (>=1.2.6.2 && <1.4)
- file-embed (==0.0.15.0)
- filepath (>=1.4.1.0 && <1.5)
- mtl (>=2.2.1 && <2.4)
- pretty (>=1.1.3.3 && <1.2)
- unordered-containers (>=0.2.9.0 && <0.3)