---------------------------------------------------------------------------= ----- Fedora Update Notification FEDORA-2011-15177 2011-11-01 01:21:06 ---------------------------------------------------------------------------= -----
Name : coq Product : Fedora 16 Version : 8.3pl2 Release : 3.fc16 URL : http://coq.inria.fr/ Summary : Proof management system Description : Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide. ---------------------------------------------------------------------------= ----- Update Information: See http://pauillac.inria.fr/~ddr/camlp5/CHANGES for a list of bugs fixed i= n thie version of ocaml-camlp5. This rebuild of coq drops the workaround for bz 691913, and fixes the build= for arches lacking hevea (currently ppc64). ---------------------------------------------------------------------------= ----- ChangeLog: * Thu Oct 27 2011 Jerry James <[email protected]> - 8.3pl2-3 - Rebuild for new ocaml-camlp5; patch for bz 691913 no longer needed - Drop tar_base_name, no longer necessary - Drop versioned dependencies for packages that meet the dep in F14 - Build without HTML documentation on arches lacking hevea - Change ExclusiveArch to %{ocaml_arches} - Fix a broken conditional and a typo ---------------------------------------------------------------------------= ----- References: [ 1 ] Bug #691913 - ocaml-camlp5 pretty printer bug https://bugzilla.redhat.com/show_bug.cgi?id=3D691913 ---------------------------------------------------------------------------= ----- This update can be installed with the "yum" update program. Use = su -c 'yum update coq' 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 t= he 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
