Index of /Miezhiko/dev-lang/idris2

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] Manifest                06-Nov-2025 02:10  339   
[TXT] idris2-0.8.0.ebuild     06-Nov-2025 02:10  3.4K