Thu, 16 Jul 2020 18:09:47 UTC

Information for build frama-c-20.0-1.fc33

ID1482732
Package Nameframa-c
Version20.0
Release1.fc33
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#1df051e58aafa5f8d8278241eba6db5842c0f262
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
StartedWed, 25 Mar 2020 20:55:00 UTC
CompletedWed, 25 Mar 2020 21:11:05 UTC
Taskbuild (rawhide, /rpms/frama-c.git:1df051e58aafa5f8d8278241eba6db5842c0f262)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#1df051e58aafa5f8d8278241eba6db5842c0f262'}}
Tags
trashcan
RPMs
src
frama-c-20.0-1.fc33.src.rpm (info) (download)
aarch64
frama-c-20.0-1.fc33.aarch64.rpm (info) (download)
frama-c-debuginfo-20.0-1.fc33.aarch64.rpm (info) (download)
frama-c-debugsource-20.0-1.fc33.aarch64.rpm (info) (download)
armv7hl
frama-c-20.0-1.fc33.armv7hl.rpm (info) (download)
frama-c-debuginfo-20.0-1.fc33.armv7hl.rpm (info) (download)
frama-c-debugsource-20.0-1.fc33.armv7hl.rpm (info) (download)
i686
frama-c-20.0-1.fc33.i686.rpm (info) (download)
frama-c-debuginfo-20.0-1.fc33.i686.rpm (info) (download)
frama-c-debugsource-20.0-1.fc33.i686.rpm (info) (download)
noarch
frama-c-doc-20.0-1.fc33.noarch.rpm (info) (download)
frama-c-emacs-20.0-1.fc33.noarch.rpm (info) (download)
frama-c-xemacs-20.0-1.fc33.noarch.rpm (info) (download)
ppc64le
frama-c-20.0-1.fc33.ppc64le.rpm (info) (download)
frama-c-debuginfo-20.0-1.fc33.ppc64le.rpm (info) (download)
frama-c-debugsource-20.0-1.fc33.ppc64le.rpm (info) (download)
s390x
frama-c-20.0-1.fc33.s390x.rpm (info) (download)
frama-c-debuginfo-20.0-1.fc33.s390x.rpm (info) (download)
frama-c-debugsource-20.0-1.fc33.s390x.rpm (info) (download)
x86_64
frama-c-20.0-1.fc33.x86_64.rpm (info) (download)
frama-c-debuginfo-20.0-1.fc33.x86_64.rpm (info) (download)
frama-c-debugsource-20.0-1.fc33.x86_64.rpm (info) (download)
Logs
x86_64
hw_info.log
state.log
build.log
root.log
mock_output.log
noarch_rpmdiff.json
ppc64le
root.log
hw_info.log
build.log
state.log
mock_output.log
noarch_rpmdiff.json
aarch64
root.log
state.log
build.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
i686
build.log
hw_info.log
state.log
root.log
mock_output.log
noarch_rpmdiff.json
s390x
hw_info.log
root.log
build.log
state.log
mock_output.log
noarch_rpmdiff.json
armv7hl
build.log
root.log
state.log
hw_info.log
mock_output.log
noarch_rpmdiff.json
Changelog * 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 * Wed Jun 05 2019 Jerry James <loganjerry@gmail.com> - 18.0-1 - Update to Argon version * Thu Jan 31 2019 Fedora Release Engineering <releng@fedoraproject.org> - 17.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild * Sat Jan 26 2019 Jerry James <loganjerry@gmail.com> - 17.0-1 - Update to Chlorine version * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 16.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild