Fri, 28 Jan 2022 11:18:04 UTC

Information for build frama-c-23.0-1.fc34

ID1781170
Package Nameframa-c
Version23.0
Release1.fc34
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#03d3d314ee789d491adda2e55d6aa28249300e31
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.
Built byjjames
State complete
Volume DEFAULT
StartedFri, 16 Jul 2021 12:45:38 UTC
CompletedFri, 16 Jul 2021 13:05:08 UTC
Taskbuild (f34-build-side-43593, /rpms/frama-c.git:03d3d314ee789d491adda2e55d6aa28249300e31)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#03d3d314ee789d491adda2e55d6aa28249300e31'}}
Tags
f34-updates
RPMs
src
frama-c-23.0-1.fc34.src.rpm (info) (download)
aarch64
frama-c-23.0-1.fc34.aarch64.rpm (info) (download)
frama-c-debuginfo-23.0-1.fc34.aarch64.rpm (info) (download)
frama-c-debugsource-23.0-1.fc34.aarch64.rpm (info) (download)
armv7hl
frama-c-23.0-1.fc34.armv7hl.rpm (info) (download)
frama-c-debuginfo-23.0-1.fc34.armv7hl.rpm (info) (download)
frama-c-debugsource-23.0-1.fc34.armv7hl.rpm (info) (download)
i686
frama-c-23.0-1.fc34.i686.rpm (info) (download)
frama-c-debuginfo-23.0-1.fc34.i686.rpm (info) (download)
frama-c-debugsource-23.0-1.fc34.i686.rpm (info) (download)
noarch
frama-c-doc-23.0-1.fc34.noarch.rpm (info) (download)
frama-c-emacs-23.0-1.fc34.noarch.rpm (info) (download)
frama-c-xemacs-23.0-1.fc34.noarch.rpm (info) (download)
ppc64le
frama-c-23.0-1.fc34.ppc64le.rpm (info) (download)
frama-c-debuginfo-23.0-1.fc34.ppc64le.rpm (info) (download)
frama-c-debugsource-23.0-1.fc34.ppc64le.rpm (info) (download)
x86_64
frama-c-23.0-1.fc34.x86_64.rpm (info) (download)
frama-c-debuginfo-23.0-1.fc34.x86_64.rpm (info) (download)
frama-c-debugsource-23.0-1.fc34.x86_64.rpm (info) (download)
Logs
armv7hl
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
i686
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
aarch64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
ppc64le
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
Changelog * Wed Jul 14 2021 Jerry James <loganjerry@gmail.com> - 23.0-1 - Update to Vanadium 23.0 * Sat Jun 12 2021 Jerry James <loganjerry@gmail.com> - 22.0-9 - Rebuild for coq 8.13.2 * Wed Mar 03 2021 Jerry James <loganjerry@gmail.com> - 22.0-8 - Rebuild for coq 8.13.1 and ocaml-zarith 1.12 * Sat Feb 20 2021 Jerry James <loganjerry@gmail.com> - 22.0-7 - Rebuild for coq 8.13.0 - Update metainfo and install in metainfodir * Tue Jan 26 2021 Fedora Release Engineering <releng@fedoraproject.org> - 22.0-6 - Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild * Sat Jan 02 2021 Jerry James <loganjerry@gmail.com> - 22.0-5 - Rebuild for flocq 3.4.0 * Wed Dec 23 2020 Jerry James <loganjerry@gmail.com> - 22.0-4 - Rebuild for coq 8.12.2 * Mon Dec 07 2020 Jerry James <loganjerry@gmail.com> - 22.0-3 - Rebuild for ocaml-ppx-deriving-yojson 3.6.1 * Wed Dec 02 2020 Jerry James <loganjerry@gmail.com> - 22.0-2 - Rebuild for coq 8.12.1 * Fri Nov 20 2020 Jerry James <loganjerry@gmail.com> - 22.0-1 - Update to Titanium 22.0 - Add %check script * Mon Nov 16 2020 Jerry James <loganjerry@gmail.com> - 21.1-7 - Rebuild for ocaml-zarith 1.11 * Fri Sep 25 2020 Jerry James <loganjerry@gmail.com> - 21.1-6 - Rebuild for apron 0.9.13 and why3 1.3.3 * Wed Sep 02 2020 Richard W.M. Jones <rjones@redhat.com> - 21.1-5 - OCaml 4.11.1 rebuild * Tue Sep 01 2020 Jerry James <loganjerry@gmail.com> - 21.1-4 - Rebuild for coq 8.12.0 * Mon Aug 24 2020 Richard W.M. Jones <rjones@redhat.com> - 21.1-4 - OCaml 4.11.0 rebuild * Sat Aug 01 2020 Fedora Release Engineering <releng@fedoraproject.org> - 21.1-3 - Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Mon Jul 27 2020 Fedora Release Engineering <releng@fedoraproject.org> - 21.1-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild * Thu Jun 25 2020 Jerry James <loganjerry@gmail.com> - 21.1-1 - Update to Scandium 21.1 * Mon Jun 15 2020 Jerry James <loganjerry@gmail.com> - 21.0-2 - Rebuild for coq 8.11.2 * Sat Jun 13 2020 Jerry James <loganjerry@gmail.com> - 21.0-1 - Update to Scandium 21.0 - Drop upstreamed -why3 patch * Wed May 20 2020 Jerry James <loganjerry@gmail.com> - 20.0-4 - Rebuild for coq 8.11.1 * Tue May 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20.0-3 - OCaml 4.11.0+dev2-2020-04-22 rebuild * Sun Apr 05 2020 Richard W.M. Jones <rjones@redhat.com> - 20.0-2 - Update all OCaml dependencies for RPM 4.16. * Wed Mar 25 2020 Jerry James <loganjerry@gmail.com> - 20.0-1 - Update to Calcium 20.0 * Thu Jan 23 2020 Jerry James <loganjerry@gmail.com> - 19.1-5 - Rebuild for apron 0.9.12 * Mon Dec 09 2019 Jerry James <loganjerry@gmail.com> - 19.1-4 - OCaml 4.09.0 (final) rebuild. * Tue Oct 29 2019 Jerry James <loganjerry@gmail.com> - 19.1-3 - Rebuild for why3 1.2.1 * Fri Oct 11 2019 Jerry James <loganjerry@gmail.com> - 19.1-2 - Rebuild for ocaml-menhir 20190924 * Mon Sep 23 2019 Jerry James <loganjerry@gmail.com> - 19.1-1 - Update to Potassium 19.1 * Fri Sep 06 2019 Jerry James <loganjerry@gmail.com> - 19.0-3 - Unbundle flamegraph - Install bash completions in the right place * Fri Aug 02 2019 Jerry James <loganjerry@gmail.com> - 19.0-2 - Fix list of filtered requires * Tue Jul 30 2019 Jerry James <loganjerry@gmail.com> - 19.0-1 - Update to Potassium version * Thu Jul 25 2019 Fedora Release Engineering <releng@fedoraproject.org> - 18.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild