Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
agda2lagda-0.2020.9.30
agda2lagda
ansi-wl-pprint
base
(>=4.9 && <5)
directory
filepath
optparse-applicative