-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2013-11464 2013-06-22 00:47:36 --------------------------------------------------------------------------------
Name : ocaml-tplib Product : Fedora 19 Version : 1.3 Release : 3.fc19 URL : https://gforge.inria.fr/projects/tplib Summary : Tropical Polyhedra Library Description : TPLib computes a description by means of vertices and rays of tropical polyhedra defined by means of inequalities, and conversely. It also provides a numerical abstract domain based on tropical polyhedra, in order to infer min-/max- invariants over programs. -------------------------------------------------------------------------------- Update Information: The update of ocaml-zarith fixes some minor installation bugs that led to missing files in the -devel package. End users should not see any difference from the previous build. The update of frama-c adds some C library files that were missing in the previous release. All other builds are simple rebuilds due to these two. -------------------------------------------------------------------------------- ChangeLog: * Fri Jun 21 2013 Jerry James <[email protected]> - 1.3-3 - Rebuild for ocaml-zarith 1.2.1 -------------------------------------------------------------------------------- This update can be installed with the "yum" update program. Use su -c 'yum update ocaml-tplib' 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
