Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda2hs-1.0
agda2hs
Agda
(>=2.6.3 && <2.6.4)
base
(>=4.10 && <4.18)
containers
(>=0.6 && <0.7)
deepseq
(>=1.4.1.1)
directory
(>=1.2.6.2 && <1.4)
filepath
(>=1.4.1.0 && <1.5)
haskell-src-exts
(>=1.23 && <1.25)
mtl
(>=2.2)
syb
(>=0.7)
text
(>=1.2.3.0)
unordered-containers
(>=0.2)