../ | | | Directory |
gappalib-coq-1.7.0-1.fc43.x86_64.rpm | 2025-Feb-26 22:56:07 | 719.50K | RPM File |
gappalib-coq-debugsource-1.7.0-1.fc43.x86_64.rpm | 2025-Feb-26 22:56:08 | 16.84K | RPM File |
gappalib-coq-debuginfo-1.7.0-1.fc43.x86_64.rpm | 2025-Feb-26 22:56:08 | 26.53K | RPM File |
success | 2025-Feb-26 22:56:05 | 4.00B | 23/FEDORA-41-X86_64/08703954-GAPPALIB-COQ//SUCCESS File |
build.info | 2025-Feb-26 22:54:34 | 59.00B | INFO File |
configs.tar.gz | 2025-Feb-26 22:56:05 | 37.89K | GZ Compressed Archive |
backend.log.gz | 2025-Feb-26 22:56:38 | 2.51K | GZ Compressed Archive |
build.log.gz | 2025-Feb-26 22:55:10 | 961.00B | GZ Compressed Archive |
gappalib-coq-source-1.7.0-1.fc43.x86_64.rpm | 2025-Feb-26 22:56:09 | 49.05K | RPM File |
root.log.gz | 2025-Feb-26 22:55:10 | 15.74K | GZ Compressed Archive |
state.log.gz | 2025-Feb-26 22:55:10 | 307.00B | GZ Compressed Archive |
chroot_scan.tar.gz | 2025-Feb-26 22:56:03 | 26.58K | GZ Compressed Archive |
gappalib-coq-1.7.0-1.fc43.src.rpm | 2025-Feb-26 22:56:10 | 114.60K | RPM File |
builder-live.log.gz | 2025-Feb-26 22:56:05 | 28.88K | GZ Compressed Archive |
build-08703954.rsync.log | 2025-Feb-26 22:56:06 | 579.00B | LOG File |
results.json | 2025-Feb-26 22:56:05 | 942.00B | JSON File |
gappalib-coq.spec | 2025-Feb-26 22:54:36 | 17.72K | SPEC File |
hw_info.log.gz | 2025-Feb-26 22:55:12 | 1.37K | GZ Compressed Archive |