-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2020-3f15bef8c6 2020-11-29 01:24:33.556776 --------------------------------------------------------------------------------
Name : apron Product : Fedora 33 Version : 0.9.13 Release : 2.fc33 URL : https://antoinemine.github.io/Apron/doc/ Summary : Numerical abstract domain library Description : The APRON library is dedicated to the static analysis of the numerical variables of a program by Abstract Interpretation. The aim of such an analysis is to infer invariants about these variables, like 1<=x+y<=z, which holds during any execution of the program.
The APRON library is intended to be a common interface to various underlying libraries/abstract domains and to provide additional services that can be implemented independently from the underlying library/abstract domain.
-------------------------------------------------------------------------------- Update Information:
This update fixes a packaging bug that prevented use of the OCaml bytecode interface. The native OCaml interface was not affected. -------------------------------------------------------------------------------- ChangeLog:
* Fri Nov 20 2020 Jerry James loganjerry@gmail.com - 0.9.13-2 - Fix install location of OCaml stublibs --------------------------------------------------------------------------------
This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2020-3f15bef8c6' 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 --------------------------------------------------------------------------------