Index of /kojifiles/packages/idris/1.3.4/27.fc45

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]data/2026-10-14 14:10 -  
[DIR]noarch/2026-10-14 14:10 -  
[DIR]riscv64/2026-10-14 14:10 -  
[DIR]src/2026-10-14 14:10 -