../ | | | Directory |
success | 2022-Nov-14 13:37:08 | 4.00B | 4/FEDORA-RAWHIDE-X86_64/05017479-COQ//SUCCESS File |
coq-8.16.0-2.fc38.src.rpm | 2022-Nov-14 13:37:12 | 7.10M | RPM File |
coq-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:13 | 38.98M | RPM File |
build.info | 2022-Nov-14 13:10:09 | 40.00B | INFO File |
coq-coqide-server-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:15 | 20.65M | RPM File |
configs.tar.gz | 2022-Nov-14 13:37:08 | 32.66K | GZ Compressed Archive |
backend.log.gz | 2022-Nov-14 13:38:19 | 1.44K | GZ Compressed Archive |
build.log.gz | 2022-Nov-14 13:37:06 | 173.81K | GZ Compressed Archive |
build-05017479.rsync.log | 2022-Nov-14 13:37:11 | 1.32K | LOG File |
coq.spec | 2022-Nov-14 13:10:11 | 32.46K | SPEC File |
coq-coqide-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:15 | 2.54M | RPM File |
root.log.gz | 2022-Nov-14 13:37:06 | 18.45K | GZ Compressed Archive |
state.log.gz | 2022-Nov-14 13:37:06 | 213.00B | GZ Compressed Archive |
builder-live.log.gz | 2022-Nov-14 13:37:08 | 209.99K | GZ Compressed Archive |
coq-coqide-server-debuginfo-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:16 | 1.85M | RPM File |
results.json | 2022-Nov-14 13:37:08 | 1.75K | JSON File |
coq-core-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:19 | 150.51M | RPM File |
coq-debugsource-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:20 | 1.85M | RPM File |
hw_info.log.gz | 2022-Nov-14 13:12:16 | 1.20K | GZ Compressed Archive |
coq-core-debuginfo-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:21 | 11.30M | RPM File |
coq-debuginfo-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:22 | 1.63M | RPM File |
coq-coqide-debuginfo-8.16.0-2.fc38.x86_64.rpm | 2022-Nov-14 13:37:23 | 671.88K | RPM File |