Dependencies for agda2lagda-0.2021.6.1

There is a total of 4 dependencies in nightly-2021-11-14

<< Return to package page

• base-4.15.0.0
• directory-1.3.6.1
• filepath-1.4.2.1
• optparse-applicative-0.16.1.0@rev:1