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