Dependencies for uAgda-1.0.0.0

Executables

base (>=4 && <5)
BNFC-meta (>=0.1 && <0.2)
cmdargs (>=0.6 && <0.7)
containers (>=0.3 && <0.4)
monads-fd (>=0.1 && <0.2)
parsec (>=2.1 && <2.2)
pretty (>=1.0 && <1.1)
transformers (>=0.2 && <0.3)