Thu, 24 Oct 2024 11:18:46 UTC | login

Information for build frama-c-29.0-8.fc41

ID337419
Package Nameframa-c
Version29.0
Release8.fc41
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#2a7ce636f590082629523c2e758334a3cad70e84
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 bydavidlt
State failed
Volume DEFAULT
StartedThu, 24 Oct 2024 07:24:10 UTC
CompletedThu, 24 Oct 2024 08:23:06 UTC
Taskbuild (f41, /rpms/frama-c.git:2a7ce636f590082629523c2e758334a3cad70e84)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#2a7ce636f590082629523c2e758334a3cad70e84'}}
Tags No tags
RPMs No RPMs
Changelog * 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) * Tue Nov 14 2023 Jerry James <loganjerry@gmail.com> - 27.1-6 - Fix failure to find plugins (bz 2249607) - Install the zsh completion file * Thu Oct 05 2023 Richard W.M. Jones <rjones@redhat.com> - 27.1-5 - OCaml 5.1 rebuild for Fedora 40 * Wed Oct 04 2023 Jerry James <loganjerry@gmail.com> - 27.1-4 - Add patch for recent glibc versions * Sat Sep 09 2023 Jerry James <loganjerry@gmail.com> - 27.1-4 - Rebuild for ocaml-ocamlgraph 2.1.0 * Thu Jul 27 2023 Jerry James <loganjerry@gmail.com> - 27.1-3 - Rebuild for ocaml-zarith 1.13 * Wed Jul 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 27.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild * Tue Jul 18 2023 Jerry James <loganjerry@gmail.com> - 27.1-1 - Version 27.1 - Validate metainfo with appstream-util * Fri Jul 14 2023 Jerry James <loganjerry@gmail.com> - 27.0-3 - Rebuild for ocaml-ctypes 0.21.0 * Wed Jul 12 2023 Richard W.M. Jones <rjones@redhat.com> - 27.0-2 - OCaml 5.0 rebuild for Fedora 39 * Mon Jul 10 2023 Jerry James <loganjerry@gmail.com> - 27.0-1 - Version 27.0 * Sat Jun 10 2023 Jerry James <loganjerry@gmail.com> - 26.1-2 - Rebuild for ocaml-dune-site 3.8.1 * Wed Feb 15 2023 Jerry James <loganjerry@gmail.com> - 26.1-1 - Version 26.1 * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 26.0-5 - Bump release and rebuild * Tue Jan 24 2023 Richard W.M. Jones <rjones@redhat.com> - 26.0-4 - Rebuild OCaml packages for F38 * Thu Jan 19 2023 Fedora Release Engineering <releng@fedoraproject.org> - 26.0-3 - Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild * Wed Dec 07 2022 Jerry James <loganjerry@gmail.com> - 26.0-2 - Rebuild to fix ocaml-dune-site dependency * Sat Nov 26 2022 Jerry James <loganjerry@gmail.com> - 26.0-1 - Version 26.0 - Add Requires on ppx_import (bz 2148391) * Tue Nov 01 2022 Jerry James <loganjerry@gmail.com> - 25.0-7 - Rebuild for ocaml-ppxlib 0.28.0 * Sat Oct 29 2022 Jerry James <loganjerry@gmail.com> - 25.0-6 - Fix a path in e-acsl-gcc.sh (bz 2137875) * Tue Oct 18 2022 Jerry James <loganjerry@gmail.com> - 25.0-5 - Rebuild for ocaml-stdint 0.7.1 * Fri Sep 16 2022 Jerry James <loganjerry@gmail.com> - 25.0-4 - Rebuild for why3 1.5.1 * Wed Aug 17 2022 Jerry James <loganjerry@gmail.com> - 25.0-3 - Rebuild for ocaml-ppx-deriving-yojson 3.7.0 - Convert License tag to SPDX