Index of /Miezhiko/dev-util/idris2-lsp

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