Index of /dev-lang/idris2/

Icon  Name                    Last modified      Size  
[PARENTDIR] Parent Directory                             -   
[   ] Manifest                2025-08-11 11:42  1.2K  
[DIR] files/                  2026-01-28 04:40    -   
[   ] idris2-0.7.0-r2.ebuild  2025-08-11 11:42  3.5K  
[   ] metadata.xml            2025-03-20 12:38  1.2K