Update to version 0.2.6; Fixes RHBZ#2236364

.gitignore

@@ -1 +1,2 @@
 /fiat-crypto-0.1.20-clean.crate
+/fiat-crypto-0.2.6-clean.crate

0001-remove-references-to-code-related-to-the-p434-curve.patch

@@ -1,6 +1,6 @@
-From 600fac16c465a709b22717dfc0e5947c511641d1 Mon Sep 17 00:00:00 2001
+From cf64376e6c52aa7b0b764c6561c70e83947d9aa7 Mon Sep 17 00:00:00 2001
 From: Fabio Valentini <decathorpe@gmail.com>
-Date: Wed, 7 Jun 2023 18:36:25 +0200
+Date: Mon, 5 Feb 2024 14:52:47 +0100
 Subject: [PATCH] remove references to code related to the p434 curve
 
 ---
@@ -8,7 +8,7 @@ Subject: [PATCH] remove references to code related to the p434 curve
  1 file changed, 1 deletion(-)
 
 diff --git a/src/lib.rs b/src/lib.rs
-index d72509a..3fc2995 100644
+index d6428f0..6dde59e 100644
 --- a/src/lib.rs
 +++ b/src/lib.rs
 @@ -15,7 +15,6 @@ pub mod p384_32;
@@ -18,7 +18,7 @@ index d72509a..3fc2995 100644
 -pub mod p434_64;
  pub mod p448_solinas_32;
  pub mod p448_solinas_64;
- pub mod p521_64;
+ pub mod p521_32;
 -- 
-2.40.1
+2.43.0
 

fiat-crypto-fix-metadata.diff

@@ -1,8 +1,8 @@
---- fiat-crypto-0.1.20/Cargo.toml	1970-01-01T00:00:01+00:00
-+++ fiat-crypto-0.1.20/Cargo.toml	2023-06-07T16:32:24.435431+00:00
+--- fiat-crypto-0.2.6/Cargo.toml	1970-01-01T00:00:01+00:00
++++ fiat-crypto-0.2.6/Cargo.toml	2024-02-05T13:47:24.169070+00:00
 @@ -14,7 +14,7 @@
  name = "fiat-crypto"
- version = "0.1.20"
+ version = "0.2.6"
  authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
 -description = "Fiat-crypto generated Rust"
 +description = "Correct-by-Construction Code for Cryptographic Primitives"

rust-fiat-crypto.spec

@@ -1,17 +1,17 @@
-# Generated by rust2rpm 24
+# Generated by rust2rpm 25
 %bcond_without check
 %global debug_package %{nil}
 
 %global crate fiat-crypto
 
 Name:           rust-fiat-crypto
-Version:        0.1.20
+Version:        0.2.6
 Release:        %autorelease
 Summary:        Correct-by-Construction Code for Cryptographic Primitives
 
 License:        MIT OR Apache-2.0 OR BSD-1-Clause
 URL:            https://crates.io/crates/fiat-crypto
-Source:         %{crate}-%{version_no_tilde}-clean.crate
+Source:         %{crate}-%{version}-clean.crate
 # script to create tarball with only permissible content:
 # run "rust2rpm" and then "./gen_clean_tarball.sh" for new versions
 Source:         gen_clean_tarball.sh
@@ -20,7 +20,7 @@ Source:         0001-remove-references-to-code-related-to-the-p434-curve.patch
 # * change crate description to something more meaningful
 Patch:          fiat-crypto-fix-metadata.diff
 
-BuildRequires:  rust-packaging >= 21
+BuildRequires:  cargo-rpm-macros >= 24
 
 %global _description %{expand:
 Correct-by-Construction Code for Cryptographic Primitives.}
@@ -71,7 +71,7 @@ use the "std" feature of the "%{crate}" crate.
 %ghost %{crate_instdir}/Cargo.toml
 
 %prep
-%autosetup -n %{crate}-%{version_no_tilde} -p1
+%autosetup -n %{crate}-%{version} -p1
 %cargo_prep
 
 %generate_buildrequires

sources

@@ -1 +1 @@
-SHA512 (fiat-crypto-0.1.20-clean.crate) = ce1bf06e8eada5b00f59ff8a2b0a9b43d1bd266e0574940d846f98d5c6a90835e9239c2a24a5e4a6989f38afd099103fdfa4d654f8c2e5cdc9788c2f8a86d6cf
+SHA512 (fiat-crypto-0.2.6-clean.crate) = 3526eafe2c729cec0d4583b93cd486e265113a909bec7bba5248a514eae9ee14efe375057c845b0844c4f9ce0d99c380c62b9d2ad826d5e5bdc344e8fcaa52c5