Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda-unused-0.3.0
library
Agda
(>=2.6.2 && <2.6.3)
base
(>=4.13 && <4.18)
containers
(>=0.6.2 && <0.7)
directory
(>=1.3.6 && <1.4)
filepath
(>=1.4.2 && <1.5)
mtl
(>=2.2.2 && <2.4)
text
(>=1.2.4 && <2.1)
agda-unused
aeson
(>=2 && <2.2)
agda-unused
base
(>=4.13 && <4.18)
directory
(>=1.3.6 && <1.4)
mtl
(>=2.2.2 && <2.4)
optparse-applicative
(>=0.15.1 && <0.18)
text
(>=1.2.4 && <2.1)