Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda2hs-1.1.20231206
agda2hs
aeson
(>=2.2 && <2.3)
Agda
(>=2.6.4 && <2.6.5)
base
(>=4.10 && <4.20)
bytestring
(>=0.11.5 && <0.13)
containers
(>=0.6 && <0.8)
deepseq
(>=1.4.4 && <1.6)
directory
(>=1.2.6.2 && <1.4)
filepath
(>=1.4.1.0 && <1.5)
haskell-src-exts
(>=1.23 && <1.25)
mtl
(>=2.2.2 && <2.4)
syb
(>=0.7.2 && <0.8)
text
(>=2.0.2 && <2.2)
unordered-containers
(>=0.2.19 && <0.3)
yaml
(>=0.11 && <0.12)