Dependencies for agda2lagda-0.2025.9.5

There is a total of 4 dependencies in nightly-2026-03-29

<< Return to package page

• base-4.21.2.0
• directory-1.3.10.1
• filepath-1.5.5.0
• optparse-applicative-0.19.0.0