| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| build.log | 2025-10-22 12:33 | 285K | ||
| ghc-idris-1.3.4-2.oc9.loongarch64.rpm | 2025-10-22 12:33 | 3.5M | ||
| ghc-idris-devel-1.3.4-2.oc9.loongarch64.rpm | 2025-10-22 12:33 | 9.6M | ||
| ghc-idris-doc-1.3.4-2.oc9.noarch.rpm | 2025-10-22 12:33 | 2.9M | ||
| hw_info.log | 2025-10-22 11:56 | 1.3K | ||
| idris-1.3.4-2.oc9.loongarch64.rpm | 2025-10-22 12:33 | 23M | ||
| idris-common-1.3.4-2.oc9.noarch.rpm | 2025-10-22 12:33 | 4.0M | ||
| idris-docs-1.3.4-2.oc9.noarch.rpm | 2025-10-22 12:33 | 201K | ||
| idris-manual-1.3.4-2.oc9.noarch.rpm | 2025-10-22 12:33 | 632K | ||
| idris-static-1.3.4-2.oc9.loongarch64.rpm | 2025-10-22 12:33 | 144K | ||
| installed_pkgs.log | 2025-10-22 11:57 | 44K | ||
| mock_output.log | 2025-10-22 12:33 | 9.8K | ||
| noarch_rpmdiff.json | 2025-10-22 12:33 | 463 | ||
| root.log | 2025-10-22 12:33 | 318K | ||
| state.log | 2025-10-22 12:33 | 1.8K | ||