Fedora 22 Update: coq-8.4pl6-1.fc22

updates at fedoraproject.org updates at fedoraproject.org
Tue Apr 21 19:03:58 UTC 2015


--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2015-6131
2015-04-14 21:07:26
--------------------------------------------------------------------------------

Name        : coq
Product     : Fedora 22
Version     : 8.4pl6
Release     : 1.fc22
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 https://coq.inria.fr/distrib/V8.4pl6/CHANGES for changes in this version of coq.  All other packages in this update are simply rebuilds with the new version of coq.
--------------------------------------------------------------------------------

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
--------------------------------------------------------------------------------


More information about the package-announce mailing list