Sun, 13 Oct 2019 19:57:30 UTC

Information for build frama-c-16.0-2.fc29

ID1108677
Package Nameframa-c
Version16.0
Release2.fc29
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#e29a53de336a8efa1b5dff3ca8e45df6ddf61e32
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 byreleng
State complete
Volume DEFAULT
StartedFri, 13 Jul 2018 05:09:06 UTC
CompletedFri, 13 Jul 2018 22:21:46 UTC
Taskbuild (f29-rebuild, /rpms/frama-c.git:e29a53de336a8efa1b5dff3ca8e45df6ddf61e32)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#e29a53de336a8efa1b5dff3ca8e45df6ddf61e32'}}
Tags
f29
f29-Beta
f29-rebuild
f30
RPMs
src
frama-c-16.0-2.fc29.src.rpm (info) (download)
aarch64
frama-c-16.0-2.fc29.aarch64.rpm (info) (download)
frama-c-debuginfo-16.0-2.fc29.aarch64.rpm (info) (download)
frama-c-debugsource-16.0-2.fc29.aarch64.rpm (info) (download)
armv7hl
frama-c-16.0-2.fc29.armv7hl.rpm (info) (download)
frama-c-debuginfo-16.0-2.fc29.armv7hl.rpm (info) (download)
frama-c-debugsource-16.0-2.fc29.armv7hl.rpm (info) (download)
i686
frama-c-16.0-2.fc29.i686.rpm (info) (download)
frama-c-debuginfo-16.0-2.fc29.i686.rpm (info) (download)
frama-c-debugsource-16.0-2.fc29.i686.rpm (info) (download)
noarch
frama-c-doc-16.0-2.fc29.noarch.rpm (info) (download)
frama-c-emacs-16.0-2.fc29.noarch.rpm (info) (download)
frama-c-xemacs-16.0-2.fc29.noarch.rpm (info) (download)
ppc64
frama-c-16.0-2.fc29.ppc64.rpm (info) (download)
frama-c-debuginfo-16.0-2.fc29.ppc64.rpm (info) (download)
frama-c-debugsource-16.0-2.fc29.ppc64.rpm (info) (download)
ppc64le
frama-c-16.0-2.fc29.ppc64le.rpm (info) (download)
frama-c-debuginfo-16.0-2.fc29.ppc64le.rpm (info) (download)
frama-c-debugsource-16.0-2.fc29.ppc64le.rpm (info) (download)
s390x
frama-c-16.0-2.fc29.s390x.rpm (info) (download)
frama-c-debuginfo-16.0-2.fc29.s390x.rpm (info) (download)
frama-c-debugsource-16.0-2.fc29.s390x.rpm (info) (download)
x86_64
frama-c-16.0-2.fc29.x86_64.rpm (info) (download)
frama-c-debuginfo-16.0-2.fc29.x86_64.rpm (info) (download)
frama-c-debugsource-16.0-2.fc29.x86_64.rpm (info) (download)
Logs
x86_64
root.log
state.log
hw_info.log
build.log
mock_output.log
ppc64le
root.log
build.log
hw_info.log
state.log
mock_output.log
aarch64
state.log
hw_info.log
root.log
build.log
mock_output.log
ppc64
state.log
build.log
root.log
hw_info.log
mock_output.log
i686
root.log
build.log
hw_info.log
state.log
mock_output.log
s390x
hw_info.log
state.log
build.log
root.log
mock_output.log
armv7hl
root.log
hw_info.log
state.log
build.log
mock_output.log
Changelog * Fri Jul 13 2018 Fedora Release Engineering <releng@fedoraproject.org> - 16.0-2 - Rebuilt for https://fedoraproject.org/wiki/Fedora_29_Mass_Rebuild * Mon Feb 12 2018 Jerry James <loganjerry@gmail.com> - 16.0-1 - Update to Sulfur version - Drop upstreamed -safe-string patch * Wed Feb 07 2018 Fedora Release Engineering <releng@fedoraproject.org> - 15.0-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_28_Mass_Rebuild * Thu Jan 11 2018 Igor Gnatenko <ignatenkobrain@fedoraproject.org> - 15.0-7 - Remove obsolete scriptlets * Sat Dec 09 2017 Jerry James <loganjerry@gmail.com> - 15.0-6 - Rebuild for why3 0.88.2 * Mon Dec 04 2017 Jerry James <loganjerry@gmail.com> - 15.0-5 - Rebuild for mlgmpidl * Fri Nov 17 2017 Richard W.M. Jones <rjones@redhat.com> - 15.0-4 - OCaml 4.06.0 rebuild. * Sat Oct 07 2017 Jerry James <loganjerry@gmail.com> - 15.0-3 - Rebuild for why3 0.88.0 * Tue Sep 12 2017 Jerry James <loganjerry@gmail.com> - 15.0-2 - More excludes so that provides match requires * Thu Sep 07 2017 Jerry James <loganjerry@gmail.com> - 15.0-1 - Update to Phosphorus version - Switch to new upstream version numbering scheme - Install the bash completion file * Wed Sep 06 2017 Richard W.M. Jones <rjones@redhat.com> - 1.14-6 - OCaml 4.05.0 rebuild. * Wed Aug 02 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-5 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Binutils_Mass_Rebuild * Wed Jul 26 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.14-4 - Rebuilt for https://fedoraproject.org/wiki/Fedora_27_Mass_Rebuild * Tue Jun 27 2017 Richard W.M. Jones <rjones@redhat.com> - 1.14-3 - OCaml 4.04.2 rebuild. * Fri May 12 2017 Richard W.M. Jones <rjones@redhat.com> - 1.14-2 - OCaml 4.04.1 rebuild. * Fri Mar 24 2017 Jerry James <loganjerry@gmail.com> - 1.14-1 - Update to Silicon version * Fri Feb 10 2017 Fedora Release Engineering <releng@fedoraproject.org> - 1.13-8 - Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild * Thu Jan 12 2017 Jerry James <loganjerry@gmail.com> - 1.13-7 - Rebuild for coq 8.6 * Wed Nov 30 2016 Jerry James <loganjerry@gmail.com> - 1.13-6 - Rebuild for alt-ergo 1.30 * Mon Nov 07 2016 Richard W.M. Jones <rjones@redhat.com> - 1.13-5 - Rebuild for OCaml 4.04.0. - Add small fixes for OCaml 4.04.0. * Fri Oct 28 2016 Jerry James <loganjerry@gmail.com> - 1.13-4 - Rebuild for coq 8.5pl3 - Remove obsolete scriptlets * Thu Sep 01 2016 Jerry James <loganjerry@gmail.com> - 1.13-3 - Rebuild for why3 0.87.2 * Wed Jul 13 2016 Jerry James <loganjerry@gmail.com> - 1.13-2 - Rebuild for coq 8.5pl2 - Require ocaml-findlib (bz 1354515)