uAgda-1.0.0.1: dependencies

Dependencies for uAgda-1.0.0.1

uAgda	base (==4.) BNFC-meta (==0.1.) cmdargs (==0.6.) containers (==0.3.) monads-fd (==0.1.) parsec (==2.1.) pretty (==1.0.) transformers (==0.2.)