Information for build frama-c-31.0-1.fc43
| ID | 171655 |
|---|---|
| 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 | 31.0 |
| Release | 1.fc43 |
| Epoch | Draft | False |
| Source | git+https://src.fedoraproject.org/rpms/frama-c.git#c96bee194ae1f3e8e2cbe729bfe07eef0f990ba6 |
| Summary | Framework for source code analysis of C software |
| Description | Frama-C is a suite of tools dedicated to the analysis of the source code of software written in C. Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis. |
| git:https://git.frama-c.com/pub/frama-c.git | |
| Built by | kojiadmin |
| State | failed |
| Volume | DEFAULT |
| Started | Wed, 19 Nov 2025 01:08:24 CST |
| Completed | Wed, 19 Nov 2025 01:11:35 CST |
| Task | build (f43, /rpms/frama-c.git:c96bee194ae1f3e8e2cbe729bfe07eef0f990ba6) |
| Extra | {'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#c96bee194ae1f3e8e2cbe729bfe07eef0f990ba6'}} |
| Tags | No tags |
| RPMs | No RPMs |
| Changelog | * Tue Nov 18 2025 Koji - 31.0-1.fc43 - local build |