../ | | | Directory |
gappalib-coq-1.7.1-1.fc43.src.rpm | 2025-Jul-12 21:54:00 | 114.52K | RPM File |
build-09269201.rsync.log | 2025-Jul-12 21:53:59 | 581.00B | LOG File |
success | 2025-Jul-12 21:53:57 | 4.00B | 23/FEDORA-41-PPC64LE/09269201-GAPPALIB-COQ//SUCCESS File |
build.info | 2025-Jul-12 21:52:03 | 59.00B | INFO File |
configs.tar.gz | 2025-Jul-12 21:53:57 | 44.22K | GZ Compressed Archive |
gappalib-coq-1.7.1-1.fc43.ppc64le.rpm | 2025-Jul-12 21:54:01 | 718.64K | RPM File |
backend.log.gz | 2025-Jul-12 21:54:15 | 2.72K | GZ Compressed Archive |
build.log.gz | 2025-Jul-12 21:52:51 | 959.00B | GZ Compressed Archive |
gappalib-coq-source-1.7.1-1.fc43.ppc64le.rpm | 2025-Jul-12 21:54:02 | 49.07K | RPM File |
root.log.gz | 2025-Jul-12 21:52:51 | 16.66K | GZ Compressed Archive |
state.log.gz | 2025-Jul-12 21:52:51 | 307.00B | GZ Compressed Archive |
chroot_scan.tar.gz | 2025-Jul-12 21:53:56 | 24.07K | GZ Compressed Archive |
gappalib-coq-debugsource-1.7.1-1.fc43.ppc64le.rpm | 2025-Jul-12 21:54:03 | 16.73K | RPM File |
builder-live.log.gz | 2025-Jul-12 21:53:57 | 30.04K | GZ Compressed Archive |
results.json | 2025-Jul-12 21:53:57 | 946.00B | JSON File |
gappalib-coq.spec | 2025-Jul-12 21:52:05 | 17.80K | SPEC File |
gappalib-coq-debuginfo-1.7.1-1.fc43.ppc64le.rpm | 2025-Jul-12 21:54:04 | 25.15K | RPM File |
hw_info.log.gz | 2025-Jul-12 21:52:54 | 867.00B | GZ Compressed Archive |