Thu, 09 May 2024 20:04:53 UTC | login

Information for build frama-c-19.0-2.fc31

ID124211
Package Nameframa-c
Version19.0
Release2.fc31
Epoch
Sourcegit+https://src.fedoraproject.org/rpms/frama-c.git#0fbccdf9964b9d3dff249c488855b5dbf0605238
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 bydavidlt
State failed
Volume DEFAULT
StartedSat, 31 Aug 2019 22:03:57 UTC
CompletedSat, 31 Aug 2019 22:47:33 UTC
Taskbuild (f31-candidate, /rpms/frama-c.git:0fbccdf9964b9d3dff249c488855b5dbf0605238)
Extra{'source': {'original_url': 'git+https://src.fedoraproject.org/rpms/frama-c.git#0fbccdf9964b9d3dff249c488855b5dbf0605238'}}
Tags No tags
RPMs No RPMs
Changelog * 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 * 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.