Dependencies for agda2lagda-0.2020.11.1

There is a total of 4 dependencies in nightly-2021-03-21

<< Return to package page

• base-4.14.1.0
• directory-1.3.6.0
• filepath-1.4.2.1
• optparse-applicative-0.16.1.0