nanoAgda-1.0.0: dependencies

Dependencies for nanoAgda-1.0.0

nanoAgda	base (>=4 && <5) BNFC-meta (>=0.3 && <0.4) cmdargs (>=0.8 && <0.9) containers (>=0.4 && <0.5) mtl (>=2.0 && <2.1) parsec (>=2.1 && <2.2) pretty (>=1.1 && <1.2) transformers (>=0.2 && <0.3)