| ../ | | | Directory |
| idris2-0.8.0-6.fc46.x86_64.rpm | 2026-Oct-01 10:49:33 | 27.02M | RPM File |
| success | 2026-Oct-01 10:49:31 | 4.00B | Text File |
| idris2-libs-debuginfo-0.8.0-6.fc46.x86_64.rpm | 2026-Oct-01 10:49:34 | 43.92K | RPM File |
| build.info | 2026-Oct-01 10:38:58 | 43.00B | INFO File |
| configs.tar.gz | 2026-Oct-01 10:49:31 | 48.03K | GZ Compressed Archive |
| backend.log.gz | 2026-Oct-01 10:49:41 | 3.66K | GZ Compressed Archive |
| build-11059458.rsync.log | 2026-Oct-01 10:49:32 | 567.00B | LOG File |
| build.log.gz | 2026-Oct-01 10:39:28 | 737.00B | GZ Compressed Archive |
| root.log.gz | 2026-Oct-01 10:39:28 | 20.93K | GZ Compressed Archive |
| state.log.gz | 2026-Oct-01 10:39:28 | 294.00B | GZ Compressed Archive |
| chroot_scan.tar.gz | 2026-Oct-01 10:49:30 | 14.36K | GZ Compressed Archive |
| builder-live.log.gz | 2026-Oct-01 10:49:31 | 48.64K | GZ Compressed Archive |
| idris2-0.8.0-6.fc46.src.rpm | 2026-Oct-01 10:49:35 | 6.65M | RPM File |
| idris2-debugsource-0.8.0-6.fc46.x86_64.rpm | 2026-Oct-01 10:49:35 | 32.26K | RPM File |
| results.json | 2026-Oct-01 10:49:31 | 1.07K | JSON File |
| idris2.spec | 2026-Oct-01 10:39:00 | 7.62K | SPEC File |
| hw_info.log.gz | 2026-Oct-01 10:39:32 | 1.46K | GZ Compressed Archive |
| idris2-doc-0.8.0-6.fc46.noarch.rpm | 2026-Oct-01 10:49:36 | 368.96K | RPM File |
| idris2-libs-0.8.0-6.fc46.x86_64.rpm | 2026-Oct-01 10:49:37 | 24.23K | RPM File |