-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2011-8385 2011-06-15 23:27:47 --------------------------------------------------------------------------------
Name : coq Product : Fedora 15 Version : 8.3pl2 Release : 2.fc15 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: A workaround for a bad documentation link was necessary in 8.3pl1. The link was fixed in 8.3pl2, and the workaround now breaks the documentation link again. This update removes the workaround. Also, the experiment with making parts of the coq tree noarch has failed. Various coq add-ons drop arch-specific files (compiled ocaml code) into those directories, so they have to be arch-specific after all. -------------------------------------------------------------------------------- ChangeLog: * Wed Jun 15 2011 Jerry James <[email protected]> - 8.3pl2-2 - Remove workaround for bad documentation link in 8.3pl1, fixed in 8.3pl2 - Revert change in 8.3pl1-1 to split arch-specific stuff from noarch stuff. Coq tactics are written in ocaml, which compiles to arch-specific files, and those files are stored in the same place as the noarch proof files. - Move tutorial code into main package; it is small and we can then leave all the rest of the documentation as noarch -------------------------------------------------------------------------------- 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 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
