../ | | | Directory |
success | 2025-Oct-07 11:39:31 | 4.00B | 0:CUSTOM:ISOLATED/FEDORA-RAWHIDE-X86_64/09650074-AGDA-STDLIB//SUCCESS File |
Agda-stdlib-2.3-1.fc44.src.rpm | 2025-Oct-07 11:39:34 | 1.23M | RPM File |
build.info | 2025-Oct-07 11:31:23 | 40.00B | INFO File |
configs.tar.gz | 2025-Oct-07 11:39:31 | 45.03K | GZ Compressed Archive |
Agda-stdlib-2.3-1.fc44.noarch.rpm | 2025-Oct-07 11:39:37 | 154.82M | RPM File |
Agda-stdlib-docs-2.3-1.fc44.noarch.rpm | 2025-Oct-07 11:39:39 | 3.85M | RPM File |
backend.log.gz | 2025-Oct-07 11:39:40 | 3.22K | GZ Compressed Archive |
build.log.gz | 2025-Oct-07 11:31:58 | 937.00B | GZ Compressed Archive |
root.log.gz | 2025-Oct-07 11:31:58 | 18.04K | GZ Compressed Archive |
state.log.gz | 2025-Oct-07 11:31:58 | 305.00B | GZ Compressed Archive |
chroot_scan.tar.gz | 2025-Oct-07 11:39:30 | 17.46K | GZ Compressed Archive |
build-09650074.rsync.log | 2025-Oct-07 11:39:33 | 458.00B | LOG File |
Agda-stdlib.spec | 2025-Oct-07 11:31:25 | 9.25K | SPEC File |
builder-live.log.gz | 2025-Oct-07 11:39:31 | 227.23K | GZ Compressed Archive |
results.json | 2025-Oct-07 11:39:31 | 553.00B | JSON File |
hw_info.log.gz | 2025-Oct-07 11:31:59 | 1.46K | GZ Compressed Archive |