| ../ | | | Directory |
| success | 2021-Jan-29 13:12:30 | 4.00B | Text File |
| coq-coqide-8.12.2-1.fc34.x86_64.rpm | 2021-Jan-29 13:12:39 | 1.98M | RPM File |
| build-01918345.rsync.log | 2021-Jan-29 13:12:32 | 1.81K | LOG File |
| coq-coqide-server-debuginfo-8.12.2-1.fc34.x86_64.rpm | 2021-Jan-29 13:12:35 | 1.42M | RPM File |
| coq-doc-8.12.2-1.fc34.noarch.rpm | 2021-Jan-29 13:12:33 | 3.76M | RPM File |
| build.info | 2021-Jan-29 12:26:43 | 41.00B | INFO File |
| configs.tar.gz | 2021-Jan-29 13:12:30 | 19.55K | GZ Compressed Archive |
| backend.log.gz | 2021-Jan-29 13:12:49 | 1.09K | GZ Compressed Archive |
| build.log.gz | 2021-Jan-29 13:12:27 | 82.21K | GZ Compressed Archive |
| coq.spec | 2021-Jan-29 12:26:45 | 28.06K | SPEC File |
| coq-debugsource-8.12.2-1.fc34.x86_64.rpm | 2021-Jan-29 13:12:37 | 1.80M | RPM File |
| root.log.gz | 2021-Jan-29 13:12:28 | 62.81K | GZ Compressed Archive |
| state.log.gz | 2021-Jan-29 13:12:27 | 216.00B | GZ Compressed Archive |
| coq-8.12.2-1.fc34.src.rpm | 2021-Jan-29 13:12:39 | 6.55M | RPM File |
| builder-live.log.gz | 2021-Jan-29 13:12:28 | 162.20K | GZ Compressed Archive |
| coq-8.12.2-1.fc34.x86_64.rpm | 2021-Jan-29 13:12:36 | 150.78M | RPM File |
| coq-coqide-server-8.12.2-1.fc34.x86_64.rpm | 2021-Jan-29 13:12:34 | 19.67M | RPM File |
| coq-coqide-debuginfo-8.12.2-1.fc34.x86_64.rpm | 2021-Jan-29 13:12:38 | 514.85K | RPM File |
| coq-debuginfo-8.12.2-1.fc34.x86_64.rpm | 2021-Jan-29 13:12:33 | 5.93M | RPM File |
| hw_info.log.gz | 2021-Jan-29 12:28:01 | 1.16K | GZ Compressed Archive |