Dependencies for agda2lagda-0.2023.1.12

There is a total of 4 dependencies in nightly-2023-03-23

<< Return to package page

• base-4.17.0.0
• directory-1.3.7.1
• filepath-1.4.2.2
• optparse-applicative-0.17.0.0