Fedora 15 Update: coq-8.3pl2-2.fc15

updates at fedoraproject.org updates at fedoraproject.org
Fri Jun 24 03:19:51 UTC 2011

Fedora Update Notification
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,

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.

* Wed Jun 15 2011 Jerry James <loganjerry at gmail.com> - 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

More information about the package-announce mailing list