frama-c-33.0-3.fc45
failed
Framework for source code analysis of C software
built by guoguo
completed Thu, 29 Oct 2026 17:41:04 UTC
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.
RPMs
No RPMs
Changelog
* Wed Sep 23 2026 Jerry James <loganjerry@gmail.com> - 33.0-3 - Rebuild for ocaml-ppx-deriving-yaml 0.5.0 * Wed Sep 16 2026 Richard W.M. Jones <rjones@redhat.com> - 33.0-2 - OCaml 5.5.1 rebuild * Wed Jul 29 2026 Jerry James <loganjerry@gmail.com> - 33.0-1 - Version 33.0 - Drop unneeded patches - Disable testing, which is now completely broken * Wed Jul 15 2026 Fedora Release Engineering <releng@fedoraproject.org> - 32.1-7 - Rebuilt for https://fedoraproject.org/wiki/Fedora_45_Mass_Rebuild * Fri Jul 10 2026 Jerry James <loganjerry@gmail.com> - 32.1-6 - OCaml 5.5.0 rebuild - Use the dune declarative buildsystem - Add patches to fix tests with dune 3.24 * Tue May 19 2026 Jerry James <loganjerry@gmail.com> - 32.1-5 - Rebuild for ocaml-integers 0.8.0 - Fedora RPM builds now deduplicate by default * Thu Apr 30 2026 Jerry James <loganjerry@gmail.com> - 32.1-4 - Rebuild for ocaml-bos 0.3.0 * Thu Apr 16 2026 Jerry James <loganjerry@gmail.com> - 32.1-3 - Rebuild for ocaml-ppxlib 0.38.0 * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 32.1-2 - Work around a change in dune behavior * Fri Mar 20 2026 Jerry James <loganjerry@gmail.com> - 32.1-1 - Version 32.1 * Sat Feb 21 2026 Richard W.M. Jones <rjones@redhat.com> - 32.0-8 - OCaml 5.4.1 rebuild * Mon Feb 16 2026 Jerry James <loganjerry@gmail.com> - 32.0-7 - Rebuild to fix dependencies * Thu Feb 12 2026 Jerry James <loganjerry@gmail.com> - 32.0-6 - Rebuild for ocaml-dune 3.21.1 * Sat Feb 07 2026 Jerry James <loganjerry@gmail.com> - 32.0-5 - Rebuild for ocaml-menhir 20260203 * Mon Feb 02 2026 Jerry James <loganjerry@gmail.com> - 32.0-4 - Rebuild for ocaml-menhir 20260122 * 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