Dependencies for agda2lagda-0.2023.6.9

There is a total of 4 dependencies in lts-22.27

<< Return to package page

• base-4.18.2.1
• directory-1.3.8.4
• filepath-1.4.300.1
• optparse-applicative-0.18.1.0