--------------------------------------------------------------------------------
Fedora Update Notification
FEDORA-2022-35565ffd33
2022-06-30 01:17:00.409442
--------------------------------------------------------------------------------
Name : alt-ergo
Product : Fedora 36
Version : 2.3.3
Release : 1.fc36
URL :
https://alt-ergo.ocamlpro.com/
Summary : Automated theorem prover including linear arithmetic
Description :
Alt-Ergo is an automated theorem prover implemented in OCaml. It is
based on CC(X) - a congruence closure algorithm parameterized by an
equational theory X. This algorithm is reminiscent of the Shostak
algorithm. Currently CC(X) is instantiated by the theory of linear
arithmetics. Alt-Ergo also contains a home made SAT-solver and an
instantiation mechanism by which it fully supports quantifiers.
--------------------------------------------------------------------------------
Update Information:
Changes in version 2.3.1: - Fix issue #248. Avoid double rounding int intervals
Changes in version 2.3.2: - Fix preludes installation - Fix altgr-ergo
building rule - Fix issue with dynlink of parsers Changes in version 2.3.3: -
Fix configure use of bash - Add conflict instructions with the Alt-ergo-free
package
--------------------------------------------------------------------------------
ChangeLog:
* Mon Jun 20 2022 Jerry James <loganjerry(a)gmail.com> - 2.3.3-1
- Version 2.3.3
- Add -menhir patch to fix FTBFS
- Add -stdlib-shims patch since Fedora does not need stdlib-shims
--------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use
su -c 'dnf upgrade --advisory FEDORA-2022-35565ffd33' 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
--------------------------------------------------------------------------------