Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda2hs-1.1
agda2hs
Agda
(>=2.6.4 && <2.6.5)
base
(>=4.10 && <4.18)
bytestring
(>=0.11.5 && <0.12)
containers
(>=0.6 && <0.7)
deepseq
(>=1.4.4 && <1.5)
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.3)
syb
(>=0.7.2 && <0.8)
text
(>=2.0.2 && <2.1)
unordered-containers
(>=0.2.19 && <0.3)
yaml-light
(>=0.1.4 && <2.0)
agda2hs-mode
Agda
(>=2.6.4 && <2.6.5)
base
(>=4.10 && <4.18)
bytestring
(>=0.11.5 && <0.12)
containers
(>=0.6 && <0.7)
deepseq
(>=1.4.4 && <1.5)
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.3)
process
(>=1.6.3.0 && <1.7)
syb
(>=0.7.2 && <0.8)
text
(>=2.0.2 && <2.1)
unordered-containers
(>=0.2.19 && <0.3)
yaml-light
(>=0.1.4 && <2.0)