Index of /kojifiles/repos/f40-appliance/71640/riscv64/toplink/packages/idris/1.3.4/1.fc39/riscv64

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]ghc-idris-1.3.4-1.fc39.riscv64.rpm2024-02-14 20:10 5.1M 
[ ]ghc-idris-devel-1.3.4-1.fc39.riscv64.rpm2024-02-14 20:10 16M 
[ ]ghc-idris-prof-1.3.4-1.fc39.riscv64.rpm2024-02-14 20:09 28M 
[ ]idris-1.3.4-1.fc39.riscv64.rpm2024-02-14 20:11 41M 
[ ]idris-static-1.3.4-1.fc39.riscv64.rpm2024-02-14 20:09 153K