-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2025-e57e9d2b81 2025-05-10 01:16:54.200117+00:00 --------------------------------------------------------------------------------
Name : breakid Product : Fedora 42 Version : 3.1.3 Release : 1.fc42 URL : https://github.com/meelgroup/breakid Summary : Symmetry detecting and breaking library Description : BreakID is a symmetry detecting and breaking library for SAT solvers. It is based on Jo Devriendt's BreakID code. It has been re-licensed by the original author to be MIT. All modifications by Mate Soos. -------------------------------------------------------------------------------- Update Information: Changes in breakid 3.1.3: Allow setting the prefix Fix a getrusage call that caused panics Fix SHA1 printing Fix the build for several architectures See https://github.com/arminbiere/cadical/blob/master/NEWS.md for changes in cadical from version 2.0.0 (exclusive) to 2.1.3 (inclusive). The cryptominisat 5.13.0 release contains numerous bug fixes. The cvc5 and yices builds are simple rebuilds due to the above changes. -------------------------------------------------------------------------------- ChangeLog: * Thu May 1 2025 Jerry James <[email protected]> - 3.1.3-1 - Version 3.1.3 * Wed Apr 16 2025 Jerry James <[email protected]> - 3.1.2-7 - Invoke cmake with LIB_SUFFIX defined -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2025-e57e9d2b81' 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 -- [email protected] To unsubscribe send an email to [email protected] 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/[email protected] Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
