-------------------------------------------------------------------------------- Fedora Update Notification FEDORA-2021-63ceadf5cf 2021-11-03 01:16:04.359366 --------------------------------------------------------------------------------
Name : klee Product : Fedora 34 Version : 2.2 Release : 2.fc34 URL : https://klee.github.io Summary : Symbolic Execution Engine Description : Symbolic virtual machine built on top of the LLVM compiler infrastructure. -------------------------------------------------------------------------------- Update Information: - Fix compilation with LLVM 13 - Enable uClibc and POSIX runtime support as requested by upstream - Enable SELinux support -------------------------------------------------------------------------------- ChangeLog: * Wed Oct 13 2021 Lukas Zaoral <[email protected]> - 2.2-2 - Fix compilation with LLVM 13 - Enable uClibc and POSIX runtime support as requested by upstream. - Due to uClibc, package is now buildable only on x86_64. - Enable SELinux support -------------------------------------------------------------------------------- This update can be installed with the "dnf" update program. Use su -c 'dnf upgrade --advisory FEDORA-2021-63ceadf5cf' 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 on the list, report it: https://pagure.io/fedora-infrastructure
