| ID | 7945 |
|---|---|
| Package Name | frama-c |
| Links | Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem |
| Version | 28.1 |
| Release | 3.fc41 |
| Epoch | Draft | False |
| Source | git+https://src.fedoraproject.org/rpms/frama-c.git#7e3519caa20168336056d4089362e9e5d2f1b6c9 |
| Built by | kojiadmin |
| State | failed |
| Volume | DEFAULT |
| Started | Thu, 30 May 2024 16:43:42 CST |
| Completed | Thu, 30 May 2024 16:50:37 CST |
| Task | build (f41, /rpms/frama-c.git:7e3519caa20168336056d4089362e9e5d2f1b6c9) |
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#7e3519caa20168336056d4089362e9e5d2f1b6c9'}} |
| Tags | No tags |
| RPMs | No RPMs |