Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda-unused-0.2.0
library
Agda
(>=2.6.1 && <2.6.2)
base
(>=4.13 && <4.15)
containers
(>=0.6.2 && <0.7)
directory
(>=1.3.6 && <1.4)
filepath
(>=1.4.2 && <1.5)
mtl
(>=2.2.2 && <2.3)
text
(>=1.2.4 && <1.3)
agda-unused
aeson
(>=1.4.7 && <1.6)
agda-unused
base
(>=4.13 && <4.15)
directory
(>=1.3.6 && <1.4)
mtl
(>=2.2.2 && <2.3)
optparse-applicative
(>=0.15.1 && <0.17)
text
(>=1.2.4 && <1.3)