Index of /Miezhiko/dev-lang/idris2

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