-------------------------------------------------------------------------------- Fedora EPEL Update Notification FEDORA-EPEL-2025-32aea98c9c 2025-07-27 01:40:01.149607+00:00 --------------------------------------------------------------------------------
Name : rust-fiat-crypto Product : Fedora EPEL 9 Version : 0.3.0 Release : 1.el9 URL : https://crates.io/crates/fiat-crypto Summary : Correct-by-Construction Code for Cryptographic Primitives Description : Correct-by-Construction Code for Cryptographic Primitives. -------------------------------------------------------------------------------- Update Information: Update the mock_instant crate to version 0.5.3 and add a compat package for version 0.3. Update the orion crate to version 0.17.11 and the fiat-crypto crate to version 0.3.0. Update the os_str_bytes crate to version 7.1.1 and add a compat package for version 6. Update the toml crate to version 0.8.23 and the toml_edit crate to version 0.22.27. -------------------------------------------------------------------------------- ChangeLog: * Tue Jul 22 2025 Fabio Valentini <[email protected]> - 0.3.0-1 - Update to version 0.3.0; Fixes RHBZ#2370172 -------------------------------------------------------------------------------- This update can be installed with the "yum" update programs. Use su -c 'yum update rust-fiat-crypto' at the command line. For more information, refer to "YUM", available at https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/7\ /html/System_Administrators_Guide/ch-yum.html All packages are signed with the Fedora EPEL GPG key. More details on the GPG keys used by the Fedora Project can be found at https://fedoraproject.org/keys -------------------------------------------------------------------------------- -- _______________________________________________ epel-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
