Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
MiniAgda-0.2016.12.19
miniagda
array
(>=0.3 && <0.6)
base
(>=4.6 && <5)
containers
(>=0.3 && <0.6)
haskell-src-exts
(>=1.17 && <1.18)
mtl
(>=2.2.0.1 && <2.3)
pretty
(>=1.0 && <1.2)