Fedora 16 Update: coq-8.3pl2-3.fc16

[updates at fedoraproject.org]

---------------------------------------------------------------------------=
-----
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 <loganjerry at gmail.com> - 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
---------------------------------------------------------------------------=
-----