-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2023-aea90e5e2b 2023-10-01 03:37:03.210205 -------------------------------------------------------------------------------- Name : apron Product : Fedora 39 Version : 0.9.14 Release : 1.fc39 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: Changes in version 0.9.14: - Fix level 1 fold ([#90](https://github.com/antoinemine/apron/pull/90)) - Fix library linkage for japron -------------------------------------------------------------------------------- ChangeLog: * Fri Sep 22 2023 Jerry James <loganjerry@xxxxxxxxx> - 0.9.14-1 - Version 0.9.14 - Add patch to fix japron linkage - Omit timestamps from generated documentation -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2023-aea90e5e2b' 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 -------------------------------------------------------------------------------- _______________________________________________ package-announce mailing list -- package-announce@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to package-announce-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/package-announce@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue