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

Information for build frama-c-32.0-1.fc43

ID176503
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
Release1.fc43
Epoch
DraftFalse
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#f2e47809b550a8c300192d6a42b2cff8f5c5d53d
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 bykojiadmin
State failed
Volume DEFAULT
StartedWed, 31 Dec 2025 10:08:19 CST
CompletedWed, 31 Dec 2025 10:24:10 CST
Taskbuild (f43, /rpms/frama-c.git:f2e47809b550a8c300192d6a42b2cff8f5c5d53d)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#f2e47809b550a8c300192d6a42b2cff8f5c5d53d'}}
Tags No tags
RPMs No RPMs
Changelog * Thu Dec 04 2025 Jerry James <loganjerry@gmail.com> - 32.0-1 - Version 32.0 * 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 * Tue Jan 02 2024 Jerry James <loganjerry@gmail.com> - 28.0-1 - Version 28.0 - Drop upstreamed patches - Add patch for whitespace differences in the tests * Tue Dec 12 2023 Richard W.M. Jones <rjones@redhat.com> - 27.1-8 - OCaml 5.1.1 rebuild for Fedora 40 * Tue Dec 05 2023 Jerry James <loganjerry@gmail.com> - 27.1-7 - Rebuild for ocaml-dune 3.12.1 (rhbz#2252981)