Fedora 36 Update: gappalib-coq-1.5.1-3.fc36
--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-c226de665b
2022-07-01 01:05:36.532419
--------------------------------------------------------------------------------
Name : gappalib-coq
Product : Fedora 36
Version : 1.5.1
Release : 3.fc36
URL : https://gitlab.inria.fr/gappa/coq
Summary : Coq support library for gappa
Description :
This support library provides vernacular files so that the certificates
Gappa generates can be imported by the Coq proof assistant. It also
provides a "gappa" tactic that calls Gappa on the current Coq goal.
Gappa (G��n��ration Automatique de Preuves de Propri��t��s Arithm��tiques --
automatic proof generation of arithmetic properties) is a tool intended
to help verifying and formally proving properties on numerical programs
dealing with floating-point or fixed-point arithmetic.
--------------------------------------------------------------------------------
Update Information:
See https://coq.inria.fr/refman/changes.html for changes in coq 8.15.2. All
other builds in this update are simple rebuilds due to the coq update.
--------------------------------------------------------------------------------
ChangeLog:
* Wed Jun 22 2022 Jerry James <loganjerry(a)gmail.com> - 1.5.1-3
- Rebuild for coq 8.15.2
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-c226de665b' 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
--------------------------------------------------------------------------------