agda2train-0.0.1.0: dependencies

Dependencies for agda2train-0.0.1.0

agda2train	aeson (>=2.0 && <2.3) aeson-pretty (==0.8.10) Agda (>=2.6.3 && <2.6.4) 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)