MiniAgda-0.2014.9.12: dependencies

Dependencies for MiniAgda-0.2014.9.12

miniagda	array (>=0.3 && <0.6) base (>=4.2 && <4.8) containers (>=0.3 && <0.6) haskell-src-exts (>=1.14 && <1.16) mtl (>=2.2.0.1 && <2.3) pretty (>=1.0 && <1.2)