About
Snapshots
LTS
Nightly
FAQ
Blog
Dependencies for agda2lagda-0.2023.6.9
There is a total of 4 dependencies in
nightly-2023-12-03
<< Return to package page
base-4.18.1.0
directory-1.3.8.1
filepath-1.4.100.4
optparse-applicative-0.18.1.0