MiniAgda-0.2022.3.11: dependencies

Dependencies for MiniAgda-0.2022.3.11

miniagda	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