Dependencies for agda2lagda-0.2023.6.9

There is a total of 4 dependencies in nightly-2025-01-18

<< Return to package page

• base-4.20.0.0
• directory-1.3.8.3
• filepath-1.5.2.0
• optparse-applicative-0.18.1.0@rev:1