Index of /pub/gentoo/ftp/overlay/guru-overlay/app-emacs/idris-mode/files

Icon  Name                    Last modified      Size  Description
[PARENTDIR] Parent Directory                             -   
[TXT] 50idris-mode-gentoo.el  2025-10-07 11:08  139
Apache Server at ftp.pingwho.org Port 443