Dependencies for agda2lagda-0.2020.11.1

There is a total of 4 dependencies in lts-17.15

<< 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