Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
uAgda-1.2.0.4
uAgda
array
(>=0.3 && <0.4)
base
(>=4 && <5)
BNFC-meta
(>=0.2 && <0.3)
cmdargs
(>=0.6 && <0.7)
containers
(>=0.4 && <0.5)
mtl
(>=2.0 && <2.1)
parsec
(>=2.1 && <2.2)
pretty
(>=1.1 && <1.2)
split
(>=0.1 && <0.2)
transformers
(>=0.2 && <0.3)