Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
build.log | 2024-02-17 18:51 | 228K | ||
ghc-idris-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:51 | 5.1M | ||
ghc-idris-devel-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:53 | 16M | ||
ghc-idris-doc-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:53 | 2.4M | ||
ghc-idris-prof-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:54 | 28M | ||
hw_info.log | 2024-02-17 14:27 | 656 | ||
idris-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:52 | 41M | ||
idris-1.3.4-14.fc40.src.rpm | 2024-02-17 18:54 | 1.7M | ||
idris-common-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:51 | 4.0M | ||
idris-docs-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:54 | 173K | ||
idris-manual-1.3.4-14.fc40.noarch.rpm | 2024-02-17 18:51 | 629K | ||
idris-static-1.3.4-14.fc40.riscv64.rpm | 2024-02-17 18:51 | 156K | ||
mock_output.log | 2024-02-17 18:51 | 7.4K | ||
noarch_rpmdiff.json | 2024-02-17 18:54 | 472 | ||
root.log | 2024-02-17 18:51 | 187K | ||
state.log | 2024-02-17 18:51 | 1.2K | ||