| ID | 6744 |
|---|---|
| Package Name | coq |
| Links | Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem |
| Version | 8.18.0 |
| Release | 4.fc41 |
| Epoch | Draft | False |
| Source | git+https://src.fedoraproject.org/rpms/coq.git#e50af8041a96561e31569f80e6cf224517f32fe9 |
| Built by | kojiadmin |
| State | failed |
| Volume | DEFAULT |
| Started | Thu, 30 May 2024 05:03:19 CST |
| Completed | Thu, 30 May 2024 05:09:44 CST |
| Task | build (f41, /rpms/coq.git:e50af8041a96561e31569f80e6cf224517f32fe9) |
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/coq.git#e50af8041a96561e31569f80e6cf224517f32fe9'}} |
| Tags | No tags |
| RPMs | No RPMs |