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

Dependencies for agda2lagda-0.2021.6.1

Executables

agda2lagda

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