--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2020-41b62b9e3f
2020-01-25 06:33:58.982264
--------------------------------------------------------------------------------
Name : coq
Product : Fedora 31
Version : 8.9.1
Release : 5.fc31
URL :
https://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:
This update moves coqidetop into the main package. See the linked bug for
details.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jan 15 2020 Jerry James <loganjerry(a)gmail.com> - 8.9.1-5
- Move coqidetop into the main package (bz 1791377)
--------------------------------------------------------------------------------
References:
[ 1 ] Bug #1791377 - None
https://bugzilla.redhat.com/show_bug.cgi?id=1791377
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2020-41b62b9e3f' at the command
line. For more information, refer to the dnf documentation available at
http://dnf.readthedocs.io/en/latest/command_ref.html#upgrade-command-label
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
--------------------------------------------------------------------------------