agda-unused-0.1.0: dependencies

Dependencies for agda-unused-0.1.0

library	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)
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)