MiniAgda-0.2014.1.9: dependencies

Dependencies for MiniAgda-0.2014.1.9

miniagda	array (>=0.3 && <0.5) base (>=4.2 && <4.7) containers (>=0.3 && <0.6) haskell-src-exts (>=1.14 && <1.15) IfElse (>=0.85 && <2.0) mtl (>=2.0 && <2.1 \|\| >=2.1.1 && <2.2) pretty (>=1.0 && <1.2)