Index of /Miezhiko/dev-lang/idris2

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Manifest                15-Jan-2025 02:13  507   
[TXT] idris2-0.7.0.ebuild     15-Jan-2025 02:13  2.6K  
[TXT] idris2-9999.ebuild      15-Jan-2025 02:13  2.6K