• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for agda2lagda-0.2025.9.5

Executables

agda2lagda

• base (>=4.9 && <5)
• directory
• filepath
• optparse-applicative (>=0.13)