Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
state.log | 2023-11-21 22:45 | 1.0K | ||
root.log | 2023-11-21 22:45 | 166K | ||
noarch_rpmdiff.json | 2023-11-21 22:46 | 472 | ||
mock_output.log | 2023-11-21 22:45 | 7.2K | ||
idris-static-1.3.4-12.fc40.riscv64.rpm | 2023-11-21 22:45 | 156K | ||
idris-manual-1.3.4-12.fc40.noarch.rpm | 2023-11-21 22:46 | 630K | ||
idris-docs-1.3.4-12.fc40.noarch.rpm | 2023-11-21 22:45 | 173K | ||
idris-common-1.3.4-12.fc40.noarch.rpm | 2023-11-21 22:45 | 4.0M | ||
idris-1.3.4-12.fc40.src.rpm | 2023-11-21 22:46 | 1.7M | ||
idris-1.3.4-12.fc40.riscv64.rpm | 2023-11-21 22:46 | 41M | ||
hw_info.log | 2023-11-21 08:55 | 484 | ||
ghc-idris-prof-1.3.4-12.fc40.riscv64.rpm | 2023-11-21 22:46 | 28M | ||
ghc-idris-doc-1.3.4-12.fc40.noarch.rpm | 2023-11-21 22:45 | 2.4M | ||
ghc-idris-devel-1.3.4-12.fc40.riscv64.rpm | 2023-11-21 22:45 | 16M | ||
ghc-idris-1.3.4-12.fc40.riscv64.rpm | 2023-11-21 22:45 | 5.1M | ||
build.log | 2023-11-21 22:45 | 226K | ||