../ | | | Directory |
success | 2022-Dec-28 15:55:50 | 4.00B | CHECKER/FEDORA-39-X86_64/05184523-GAPPALIB-COQ//SUCCESS File |
build.info | 2023-Aug-10 17:47:20 | 75.00B | INFO File |
configs.tar.gz | 2022-Dec-28 15:55:50 | 35.15K | GZ Compressed Archive |
backend.log.gz | 2022-Dec-28 15:56:10 | 1.42K | GZ Compressed Archive |
build.log.gz | 2022-Dec-28 15:55:47 | 13.88K | GZ Compressed Archive |
gappalib-coq-1.5.2-5.fc38.src.rpm | 2022-Dec-28 15:55:52 | 109.00K | RPM File |
gappalib-coq-debugsource-1.5.2-5.fc38.x86_64.rpm | 2022-Dec-28 15:55:53 | 17.11K | RPM File |
gappalib-coq-debuginfo-1.5.2-5.fc38.x86_64.rpm | 2022-Dec-28 15:55:55 | 149.06K | RPM File |
root.log.gz | 2022-Dec-28 15:55:47 | 9.41K | GZ Compressed Archive |
state.log.gz | 2022-Dec-28 15:55:47 | 221.00B | GZ Compressed Archive |
gappalib-coq-1.5.2-5.fc38.x86_64.rpm | 2022-Dec-28 15:55:56 | 1.91M | RPM File |
builder-live.log.gz | 2022-Dec-28 15:55:50 | 37.91K | GZ Compressed Archive |
results.json | 2022-Dec-28 15:55:50 | 927.00B | JSON File |
gappalib-coq.spec | 2022-Dec-28 15:54:07 | 14.69K | SPEC File |
hw_info.log.gz | 2022-Dec-28 15:54:58 | 1.34K | GZ Compressed Archive |
build-05184523.rsync.log | 2022-Dec-28 15:55:51 | 1.15K | LOG File |
gappalib-coq-source-1.5.2-5.fc38.x86_64.rpm | 2022-Dec-28 15:55:59 | 45.80K | RPM File |