About
Snapshots
LTS
Nightly
FAQ
Blog
Dependencies for agda2lagda-0.2020.11.1
There is a total of 4 dependencies in
nightly-2020-11-18
<< Return to package page
base-4.14.1.0
directory-1.3.6.0
filepath-1.4.2.1
optparse-applicative-0.15.1.0@rev:1