uAgda-1.0.0.0: dependencies

Dependencies for uAgda-1.0.0.0

uAgda	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)