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

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[DIR]logs/2026-10-14 14:10 -  
[DIR]sigcache/2026-10-14 14:10 -