fedora
Click here to visit the old openkoji buildsystem (Archived)

Information for build frama-c-32.0-3.fc44

ID208920
Package Nameframa-c
Links Fedora Package Sources | Fedora Official Koji Buildsystem | Rocks RISC-V Koji Buildsystem | Fedora RISC-V GitHub | Old Koji Buildsystem
Version32.0
Release3.fc44
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#e0407b71af65f81994392979c8df2e6d45c59ad9
SummaryFramework for source code analysis of C software
DescriptionFrama-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 byliuyang
State failed
Volume DEFAULT
StartedMon, 27 Apr 2026 01:21:45 CST
CompletedMon, 27 Apr 2026 01:59:13 CST
Taskbuild (f44, /rpms/frama-c.git:e0407b71af65f81994392979c8df2e6d45c59ad9)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#e0407b71af65f81994392979c8df2e6d45c59ad9'}}
Tags No tags
RPMs No RPMs
Changelog * Fri Jan 16 2026 Fedora Release Engineering <releng@fedoraproject.org> - 32.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_44_Mass_Rebuild * Mon Jan 12 2026 Jerry James <loganjerry@gmail.com> - 32.0-2 - Reflow the description text * Thu Dec 04 2025 Jerry James <loganjerry@gmail.com> - 32.0-1 - Version 32.0 * Fri Nov 14 2025 Jerry James <loganjerry@gmail.com> - 31.0-9 - Rebuild for ocaml-logs 0.10.0 * Thu Nov 13 2025 Jerry James <loganjerry@gmail.com> - 31.0-8 - Rebuild for ocaml-ctypes 0.24.0 * Wed Oct 15 2025 Richard W.M. Jones <rjones@redhat.com> - 31.0-7 - OCaml 5.4.0 rebuild * Tue Sep 16 2025 Jerry James <loganjerry@gmail.com> - 31.0-6 - Rebuild for ocaml-menhir 20250912 and why3 1.8.2 * Fri Sep 05 2025 Jerry James <loganjerry@gmail.com> - 31.0-5 - Rebuild for ocaml-menhir 20250903 * Mon Aug 25 2025 Jerry James <loganjerry@gmail.com> - 31.0-4 - Rebuild for ocaml-fmt 0.11.0 * Fri Aug 22 2025 Jerry James <loganjerry@gmail.com> - 31.0-3 - Rebuild for ocaml-dune 3.20.0 * Wed Jul 23 2025 Fedora Release Engineering <releng@fedoraproject.org> - 31.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_43_Mass_Rebuild * Sun Jul 13 2025 Jerry James <loganjerry@gmail.com> - 31.0-1 - Version 31.0 * Mon Jun 09 2025 Jerry James <loganjerry@gmail.com> - 30.0-11 - Rebuild for why3 1.8.1 * Sat Jun 07 2025 Jerry James <loganjerry@gmail.com> - 30.0-10 - Rebuild for bumped ocaml-mlgmpidl * Tue Apr 15 2025 Jerry James <loganjerry@gmail.com> - 30.0-9 - Rebuild for ocaml-ocamlgraph 2.2.0 * Thu Apr 03 2025 Jerry James <loganjerry@gmail.com> - 30.0-8 - Rebuild for ocaml-dune 3.18.0 * Tue Mar 18 2025 Jerry James <loganjerry@gmail.com> - 30.0-7 - Rebuild for ocaml-logs 0.8.0 * Tue Mar 11 2025 Jerry James <loganjerry@gmail.com> - 30.0-6 - Rebuild for ocaml-fmt 0.10.0 * Thu Feb 13 2025 Jerry James <loganjerry@gmail.com> - 30.0-5 - Rebuild for ocaml-ppxlib 0.35.0 * Wed Jan 22 2025 Jerry James <loganjerry@gmail.com> - 30.0-4 - Add patch for partial C23 compatibility - Disable tests until upstream implements full C23 support * Thu Jan 16 2025 Fedora Release Engineering <releng@fedoraproject.org> - 30.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_42_Mass_Rebuild * Fri Jan 10 2025 Jerry James <loganjerry@gmail.com> - 30.0-2 - OCaml 5.3.0 rebuild for Fedora 42 - Add patch for why3 1.8.0 compatibility * Fri Dec 06 2024 Jerry James <loganjerry@gmail.com> - 30.0-1 - Version 30.0 - Move configuration steps to %conf - Remove empty opam files - Link, rather than copy, duplicate files * Tue Oct 08 2024 Richard W.M. Jones <rjones@redhat.com> - 29.0-10 - Rebuild for ocaml-lwt 5.8.0 * Sun Oct 06 2024 Jerry James <loganjerry@gmail.com> - 29.0-9 - Rebuild for ocaml-re 1.13.3 * Mon Aug 12 2024 Jerry James <loganjerry@gmail.com> - 29.0-8 - Rebuild for ocaml-yaml with ocaml-ctypes 0.23.0 * Mon Aug 05 2024 Jerry James <loganjerry@gmail.com> - 29.0-7 - Rebuild for ocaml-ppxlib 0.33.0 and ocaml-yojson 2.2.2 * Wed Jul 17 2024 Fedora Release Engineering <releng@fedoraproject.org> - 29.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_41_Mass_Rebuild * Tue Jul 16 2024 Jerry James <loganjerry@gmail.com> - 29.0-5 - Rebuild for ocaml-zarith 1.14 * Wed Jul 03 2024 Jerry James <loganjerry@gmail.com> - 29.0-4 - Rebuild for ocaml-sexplib0 0.17.0 * Wed Jun 19 2024 Richard W.M. Jones <rjones@redhat.com> - 29.0-3 - OCaml 5.2.0 ppc64le fix * Mon Jun 17 2024 Jerry James <loganjerry@gmail.com> - 29.0-2 - Rebuild for ocaml-dune 3.16.0 * Thu Jun 13 2024 Jerry James <loganjerry@gmail.com> - 29.0-1 - Exclude ppc64le until upstream ocaml bug is fixed * Thu Jun 06 2024 Jerry James <loganjerry@gmail.com> - 29.0-1 - Version 29.0 - Drop upstreamed test patch - Add patch to remove dependency on the bytes library for OCaml 5.x * Thu May 30 2024 Richard W.M. Jones <rjones@redhat.com> - 28.1-4 - OCaml 5.2.0 for Fedora 41 * Thu May 23 2024 Jerry James <loganjerry@gmail.com> - 28.1-3 - BR yq for the tests * Thu Apr 18 2024 Jerry James <loganjerry@gmail.com> - 28.1-3 - Rebuild for why3 1.7.2 * Mon Mar 25 2024 Richard W.M. Jones <rjones@redhat.com> - 28.1-2 - Use %{bash_completions_dir} macro * Mon Mar 04 2024 Jerry James <loganjerry@gmail.com> - 28.1-1 - Version 28.1 * Fri Feb 02 2024 Jerry James <loganjerry@gmail.com> - 28.0-4 - Rebuild for why3 1.7.1 * Wed Jan 24 2024 Fedora Release Engineering <releng@fedoraproject.org> - 28.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild * Fri Jan 19 2024 Fedora Release Engineering <releng@fedoraproject.org> - 28.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_40_Mass_Rebuild