| ../ | | | Directory |
| coq-coqide-server-debuginfo-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:27:58 | 3.19M | RPM File |
| coq-debuginfo-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:27:59 | 367.38K | RPM File |
| success | 2024-Jul-18 06:27:53 | 4.00B | 23/FEDORA-RAWHIDE-AARCH64/07743572-COQ//SUCCESS File |
| coq-debugsource-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:28:00 | 1.89M | RPM File |
| coq-coqide-server-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:28:01 | 28.98M | RPM File |
| build.info | 2024-Jul-18 06:14:30 | 39.00B | INFO File |
| build-07743572.rsync.log | 2024-Jul-18 06:27:56 | 1.17K | LOG File |
| coq-8.18.0-10.fc41.src.rpm | 2024-Jul-18 06:28:02 | 7.30M | RPM File |
| coq-core-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:28:07 | 238.03M | RPM File |
| configs.tar.gz | 2024-Jul-18 06:27:53 | 37.39K | GZ Compressed Archive |
| backend.log.gz | 2024-Jul-18 06:28:31 | 2.58K | GZ Compressed Archive |
| build.log.gz | 2024-Jul-18 06:15:04 | 960.00B | GZ Compressed Archive |
| coq-coqide-debuginfo-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:28:09 | 908.32K | RPM File |
| coq.spec | 2024-Jul-18 06:14:32 | 35.16K | SPEC File |
| coq-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:28:10 | 23.55M | RPM File |
| root.log.gz | 2024-Jul-18 06:15:04 | 15.95K | GZ Compressed Archive |
| state.log.gz | 2024-Jul-18 06:15:04 | 331.00B | GZ Compressed Archive |
| builder-live.log.gz | 2024-Jul-18 06:27:53 | 209.73K | GZ Compressed Archive |
| coq-core-debuginfo-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:28:11 | 21.02M | RPM File |
| results.json | 2024-Jul-18 06:27:53 | 1.80K | JSON File |
| coq-coqide-8.18.0-10.fc41.aarch64.rpm | 2024-Jul-18 06:28:12 | 3.47M | RPM File |
| hw_info.log.gz | 2024-Jul-18 06:15:06 | 917.00B | GZ Compressed Archive |