Dependencies for MiniAgda-0.2022.3.11

Executables

array (>=0.3 && <0.6)
base (>=4.6 && <5)
containers (>=0.3 && <0.7)
haskell-src-exts (>=1.21 && <1.22)
mtl (>=2.2.2 && <2.4)
pretty (>=1.0 && <1.2)
transformers