Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
uAgda-1.1.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)