| ../ | | | Directory |
| idris-1.3.4-21.fc44.x86_64.rpm | 2025-Oct-07 18:41:16 | 22.69M | RPM File |
| idris.spec | 2025-Oct-07 18:24:44 | 17.05K | SPEC File |
| build-09654181.rsync.log | 2025-Oct-07 18:41:14 | 728.00B | LOG File |
| success | 2025-Oct-07 18:41:12 | 4.00B | 0:CUSTOM:ISOLATED/FEDORA-RAWHIDE-X86_64/09654181-IDRIS//SUCCESS File |
| ghc-idris-prof-1.3.4-21.fc44.x86_64.rpm | 2025-Oct-07 18:41:17 | 10.28M | RPM File |
| idris-1.3.4-21.fc44.src.rpm | 2025-Oct-07 18:41:18 | 1.68M | RPM File |
| build.info | 2025-Oct-07 18:24:42 | 59.00B | INFO File |
| configs.tar.gz | 2025-Oct-07 18:41:12 | 43.89K | GZ Compressed Archive |
| backend.log.gz | 2025-Oct-07 18:41:47 | 4.31K | GZ Compressed Archive |
| build.log.gz | 2025-Oct-07 18:25:28 | 933.00B | GZ Compressed Archive |
| ghc-idris-1.3.4-21.fc44.x86_64.rpm | 2025-Oct-07 18:41:19 | 3.37M | RPM File |
| idris-manual-1.3.4-21.fc44.noarch.rpm | 2025-Oct-07 18:41:20 | 630.22K | RPM File |
| idris-docs-1.3.4-21.fc44.noarch.rpm | 2025-Oct-07 18:41:21 | 172.73K | RPM File |
| root.log.gz | 2025-Oct-07 18:25:28 | 17.94K | GZ Compressed Archive |
| state.log.gz | 2025-Oct-07 18:25:28 | 304.00B | GZ Compressed Archive |
| chroot_scan.tar.gz | 2025-Oct-07 18:41:10 | 2.64K | GZ Compressed Archive |
| ghc-idris-doc-1.3.4-21.fc44.noarch.rpm | 2025-Oct-07 18:41:22 | 2.40M | RPM File |
| builder-live.log.gz | 2025-Oct-07 18:41:12 | 80.06K | GZ Compressed Archive |
| idris-static-1.3.4-21.fc44.x86_64.rpm | 2025-Oct-07 18:41:23 | 242.16K | RPM File |
| results.json | 2025-Oct-07 18:41:12 | 1.76K | JSON File |
| hw_info.log.gz | 2025-Oct-07 18:25:30 | 1.39K | GZ Compressed Archive |
| idris-common-1.3.4-21.fc44.noarch.rpm | 2025-Oct-07 18:41:24 | 3.98M | RPM File |
| ghc-idris-devel-1.3.4-21.fc44.x86_64.rpm | 2025-Oct-07 18:41:24 | 5.15M | RPM File |