Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
build.log | 2020-05-14 02:26 | 125M | ||
ghc-idris-1.3.2-3.fc33.riscv64.rpm | 2020-05-14 02:27 | 8.8M | ||
ghc-idris-devel-1.3.2-3.fc33.riscv64.rpm | 2020-05-14 02:27 | 21M | ||
ghc-idris-doc-1.3.2-3.fc33.noarch.rpm | 2020-05-14 02:27 | 2.1M | ||
ghc-idris-prof-1.3.2-3.fc33.riscv64.rpm | 2020-05-14 02:27 | 34M | ||
hw_info.log | 2020-05-09 19:47 | 505 | ||
idris-1.3.2-3.fc33.riscv64.rpm | 2020-05-14 02:27 | 66M | ||
idris-1.3.2-3.fc33.src.rpm | 2020-05-14 02:27 | 2.0M | ||
idris-common-1.3.2-3.fc33.noarch.rpm | 2020-05-14 02:26 | 3.9M | ||
idris-docs-1.3.2-3.fc33.noarch.rpm | 2020-05-14 02:27 | 171K | ||
idris-manual-1.3.2-3.fc33.noarch.rpm | 2020-05-14 02:26 | 519K | ||
idris-static-1.3.2-3.fc33.riscv64.rpm | 2020-05-14 02:27 | 205K | ||
mock_output.log | 2020-05-14 02:26 | 1.5K | ||
noarch_rpmdiff.json | 2020-05-14 02:27 | 467 | ||
root.log | 2020-05-14 02:26 | 139K | ||
state.log | 2020-05-14 02:26 | 798 | ||