Index of /guru/app-emacs/idris-mode

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[DIR] files/                  19-Mar-2025 02:13    -   
[   ] Manifest                19-Mar-2025 02:13  306   
[TXT] idris-mode-1.0.ebuild   19-Mar-2025 02:13  699   
[TXT] idris-mode-9999.ebuild  19-Mar-2025 02:13  699   
[   ] metadata.xml            19-Mar-2025 02:13  789