Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda2train-0.0.3.0
agda2train-lib
aeson
(>=2.0 && <2.3)
Agda
(>=2.6.3 && <2.6.4)
async
(>=2.2 && <2.3)
base
(>=4.12.0.0 && <4.20)
containers
(>=0.5.11.0 && <0.8)
file-embed
(==0.0.15.0)
mtl
(>=2.2.1 && <2.4)
pretty
(>=1.1.3.3 && <1.2)
agda2train
aeson
(>=2.0 && <2.3)
aeson-pretty
(==0.8.10)
Agda
(>=2.6.3 && <2.6.4)
agda2train
async
(>=2.2 && <2.3)
base
(>=4.12.0.0 && <4.20)
bytestring
(>=0.10.8.1 && <0.13)
containers
(>=0.5.11.0 && <0.8)
deepseq
(>=1.4.2.0 && <1.6)
directory
(>=1.2.6.2 && <1.4)
file-embed
(==0.0.15.0)
filepath
(>=1.4.1.0 && <1.5)
mtl
(>=2.2.1 && <2.4)
pretty
(>=1.1.3.3 && <1.2)
unordered-containers
(>=0.2.9.0 && <0.3)