--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-ceb992c252
2022-03-31 00:15:27.868108
--------------------------------------------------------------------------------
Name : coq
Product : Fedora 36
Version : 8.15.1
Release : 1.fc36
URL :
https://coq.inria.fr/
Summary : Proof management system
Description :
Coq is a formal proof management system. It provides a formal language
to write mathematical definitions, executable algorithms and theorems
together with an environment for semi-interactive development of
machine-checked proofs.
Typical applications include the certification of properties of
programming languages (e.g. the CompCert compiler certification project,
or the Bedrock verified low-level programming library), the formalization
of mathematics (e.g. the full formalization of the Feit-Thompson theorem
or homotopy type theory) and teaching.
--------------------------------------------------------------------------------
Update Information:
Changes in coq 8.15.1: - inconsistency with module subtyping and inductive
types ([#15838](https://github.com/coq/coq/issues/15838)) - CoqIDE slowdown on
large files - missing `.vok` file creation - cbn regression
([#15567](https://github.com/coq/coq/issues/15567)) - usability of schemes with
elim foo using scheme with (P0 := ...) (the P0 name was not accessible in
8.15.0) ([#15420](https://github.com/coq/coq/issues/15420)) - See the
[changelog](https://coq.github.io/doc/v8.15/refman/changes.html#changes-
in-8-15-1) for detailed changes. Changes in ocaml-zmq 5.1.5: - fix bug in
STREAM sockets ([#114](https://github.com/issuu/ocaml-zmq/pull/114), @c-cube)
The other builds are simple rebuilds due to the changes above.
--------------------------------------------------------------------------------
ChangeLog:
* Fri Mar 25 2022 Jerry James <loganjerry(a)gmail.com> - 8.15.1-1
- Version 8.15.1
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-ceb992c252' 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
--------------------------------------------------------------------------------