Dependencies for agda2lagda-0.2021.6.1

There is a total of 4 dependencies in lts-20.24

<< Return to package page

• base-4.16.4.0
• directory-1.3.6.2
• filepath-1.4.2.2
• optparse-applicative-0.17.1.0