--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-c226de665b
2022-07-01 01:05:36.532419
--------------------------------------------------------------------------------
Name : zenon
Product : Fedora 36
Version : 0.8.5
Release : 7.fc36
URL :
http://zenon-prover.org/
Summary : Automated theorem prover for first-order classical logic
Description :
Zenon is an automated theorem prover for first order classical logic
with equality, based on the tableau method. Zenon can read input files
in TPTP, Coq, Focal, and its own Zenon format. Zenon can directly
generate Coq proofs (proof scripts or proof terms), which can be
reinserted into Coq specifications. Zenon can also be extended.
--------------------------------------------------------------------------------
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> - 0.8.5-7
- 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
--------------------------------------------------------------------------------