About
Snapshots
LTS
Nightly
FAQ
Blog
Dependencies for agda2lagda-0.2021.6.1
There is a total of 4 dependencies in
nightly-2022-11-26
<< Return to package page
base-4.17.0.0
directory-1.3.7.1
filepath-1.4.2.2
optparse-applicative-0.17.0.0