| ../ | | | Directory |
| success | 2020-May-20 16:52:25 | 4.00B | 0/FEDORA-RAWHIDE-X86_64/01399206-COQ//SUCCESS File |
| coq-8.11.1-1.fc33.x86_64.rpm | 2020-May-20 16:52:32 | 77.86M | RPM File |
| build.info | 2020-May-20 16:26:05 | 38.00B | INFO File |
| configs.tar.gz | 2020-May-20 16:52:25 | 16.40K | GZ Compressed Archive |
| backend.log.gz | 2020-May-20 16:53:04 | 884.00B | GZ Compressed Archive |
| build.log.gz | 2020-May-20 16:52:22 | 300.63K | GZ Compressed Archive |
| coq.spec | 2020-May-20 16:26:07 | 26.79K | SPEC File |
| coq-8.11.1-1.fc33.src.rpm | 2020-May-20 16:52:34 | 6.27M | RPM File |
| coq-coqide-8.11.1-1.fc33.x86_64.rpm | 2020-May-20 16:52:29 | 2.21M | RPM File |
| root.log.gz | 2020-May-20 16:52:23 | 67.45K | GZ Compressed Archive |
| state.log.gz | 2020-May-20 16:52:23 | 220.00B | GZ Compressed Archive |
| coq-debugsource-8.11.1-1.fc33.x86_64.rpm | 2020-May-20 16:52:30 | 1.71M | RPM File |
| builder-live.log.gz | 2020-May-20 16:52:24 | 389.42K | GZ Compressed Archive |
| coq-debuginfo-8.11.1-1.fc33.x86_64.rpm | 2020-May-20 16:52:33 | 7.69M | RPM File |
| coq-coqide-debuginfo-8.11.1-1.fc33.x86_64.rpm | 2020-May-20 16:52:35 | 578.69K | RPM File |
| build-01399206-coq.log | 2020-May-20 16:53:04 | 3.68K | LOG File |
| build-01399206.rsync.log | 2020-May-20 16:52:27 | 1.71K | LOG File |
| hw_info.log.gz | 2020-May-20 16:27:31 | 1.13K | GZ Compressed Archive |
| coq-doc-8.11.1-1.fc33.noarch.rpm | 2020-May-20 16:52:35 | 12.20M | RPM File |