-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2011-9339 2011-07-15 00:42:01 --------------------------------------------------------------------------------
Name : frama-c Product : Fedora 15 Version : 1.6 Release : 1.fc15 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: See http://ocamlgraph.lri.fr/download/CHANGES for the bugs fixed in this version of ocaml-ocamlgraph. See http://frama-c.com/Changelog.html for the numerous bug fixes and new features in this version of frama-c. See http://why.lri.fr/download/CHANGES for the bugs fixed and enhancements made to this version of why. -------------------------------------------------------------------------------- ChangeLog: * Mon Jul 11 2011 Jerry James <[email protected]> - 1.6-1 - Update to Carbon version - Removed unnecessary spec file elements (BuildRoot, etc.) - Update approach to filtering provides and requires - Do not filter as much; why should Require some of the filtered names - Add (X)Emacs support packages - Add doc subpackage to hold large manual PDFs - Support for gtksourceview 1.x has been dropped * Wed Apr 13 2011 Karsten Hopp <[email protected]> 1.5-3.1 - add ppc64 to archs with ocaml -------------------------------------------------------------------------------- References: [ 1 ] Bug #715902 - FTBFS why-2.28-2.fc15 https://bugzilla.redhat.com/show_bug.cgi?id=715902 -------------------------------------------------------------------------------- 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 mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/package-announce
