../ | | | Directory |
coq-debugsource-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:35 | 1.85M | RPM File |
coq-coqide-server-debuginfo-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:36 | 1.58M | RPM File |
success | 2022-Dec-23 14:52:30 | 4.00B | Text File |
coq-coqide-server-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:38 | 20.92M | RPM File |
coq-coqide-debuginfo-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:39 | 639.36K | RPM File |
build.info | 2024-Aug-12 18:46:46 | 94.00B | INFO File |
configs.tar.gz | 2022-Dec-23 14:52:30 | 33.63K | GZ Compressed Archive |
backend.log.gz | 2022-Dec-23 14:53:00 | 1.57K | GZ Compressed Archive |
build.log.gz | 2022-Dec-23 14:52:17 | 173.69K | GZ Compressed Archive |
coq.spec | 2022-Dec-23 14:28:24 | 32.54K | SPEC File |
build-05168574.rsync.log | 2022-Dec-23 14:52:33 | 1.36K | LOG File |
root.log.gz | 2022-Dec-23 14:52:18 | 18.25K | GZ Compressed Archive |
coq-debuginfo-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:40 | 1.70M | RPM File |
state.log.gz | 2022-Dec-23 14:52:17 | 215.00B | GZ Compressed Archive |
coq-8.16.1-1.fc38.src.rpm | 2022-Dec-23 14:52:41 | 7.10M | RPM File |
builder-live.log.gz | 2022-Dec-23 14:52:30 | 209.37K | GZ Compressed Archive |
coq-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:43 | 40.36M | RPM File |
coq-coqide-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:44 | 2.69M | RPM File |
coq-core-debuginfo-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:46 | 10.16M | RPM File |
results.json | 2022-Dec-23 14:52:30 | 1.76K | JSON File |
hw_info.log.gz | 2022-Dec-23 14:30:10 | 811.00B | GZ Compressed Archive |
coq-core-8.16.1-1.fc38.ppc64le.rpm | 2022-Dec-23 14:52:49 | 154.60M | RPM File |