Dependencies for agda-unused-0.1.0
Libraries
agda-unused
- Agda (>=2.6.1 && <2.6.2)
- base (>=4.13.0 && <4.14)
- containers (>=0.6.2 && <0.7)
- directory (>=1.3.6 && <1.4)
- filepath (>=1.4.2 && <1.5)
- megaparsec (>=8.0.0 && <8.1)
- mtl (>=2.2.2 && <2.3)
- text (>=1.2.4 && <1.3)
Executables
agda-unused
- aeson (>=1.4.7 && <1.5)
- agda-unused
- base (>=4.13.0 && <4.14)
- directory (>=1.3.6 && <1.4)
- filepath (>=1.4.2 && <1.5)
- mtl (>=2.2.2 && <2.3)
- optparse-applicative (>=0.15.1 && <0.16)
- text (>=1.2.4 && <1.3)