-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2014-7850 2014-06-29 02:01:45 --------------------------------------------------------------------------------
Name : frama-c Product : Fedora 20 Version : 1.10 Release : 5.fc20 URL : http://frama-c.com/ Summary : Framework for source code analysis of C software Description : Frama-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.
-------------------------------------------------------------------------------- Update Information:
The plugin system used by Frama-C was broken, and there was a module conflict between why and Frama-C, which additionally caused the Jessie plugin to fail to load. This update fixes these problems so that the Jessie plugin is usable. -------------------------------------------------------------------------------- ChangeLog:
* Thu Jun 26 2014 Jerry James loganjerry@gmail.com - 1.10-5 - Set LDFLAGS in a less destructive way (bz 1105265) * Tue May 13 2014 Jerry James loganjerry@gmail.com - 1.10-4 - Rebuild for coq 8.4pl4 * Mon Apr 21 2014 Jerry James loganjerry@gmail.com - 1.10-3 - Rebuild for ocamlgraph 1.8.5; add -ocamlgraph patch to adapt * Mon Mar 24 2014 Jerry James loganjerry@gmail.com - 1.10-2 - Fix the icon name in the desktop file - Install icons - Drop unnecessary gmp-devel BR (pulled in by ocaml-zarith-devel) - Fix permissions later, else they get reset to the bad values * Mon Mar 17 2014 Jerry James loganjerry@gmail.com - 1.10-1 - Update to Neon version - All patches have been upstreamed; drop them - The manuals are no longer included in the source distribution; add as Sources - BR ocaml-findlib instead of ocaml-findlib-devel - BR why3 to get coq + why3 support in the wp plugin * Wed Feb 26 2014 Jerry James loganjerry@gmail.com - 1.9-9 - Rebuild for ocaml-ocamlgraph 1.8.4; add -ocamlgraph patch to adapt. - Add an Appdata file. * Wed Oct 2 2013 Richard W.M. Jones rjones@redhat.com - 1.9-8 - Rebuild for ocaml-lablgtk 2.18. * Mon Sep 16 2013 Jerry James loganjerry@gmail.com - 1.9-7 - Rebuild for OCaml 4.01.0 - Enable debuginfo -------------------------------------------------------------------------------- References:
[ 1 ] Bug #1105265 - frama-c errors that Jessie is incompatible, but upstream disagrees https://bugzilla.redhat.com/show_bug.cgi?id=1105265 --------------------------------------------------------------------------------
This update can be installed with the "yum" update program. Use su -c 'yum update frama-c' at the command line. For more information, refer to "Managing Software with yum", available at http://docs.fedoraproject.org/yum/.
All packages are signed with the Fedora Project GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys --------------------------------------------------------------------------------
package-announce@lists.fedoraproject.org