diff --git a/.gitignore b/.gitignore
index fdce147..aca5fa8 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,2 +1,3 @@
 /fiat-crypto-0.1.20-clean.crate
 /fiat-crypto-0.2.6-clean.crate
+/fiat-crypto-0.2.8-clean.crate
diff --git a/fiat-crypto-fix-metadata.diff b/fiat-crypto-fix-metadata.diff
index 8daae6d..072b945 100644
--- a/fiat-crypto-fix-metadata.diff
+++ b/fiat-crypto-fix-metadata.diff
@@ -1,8 +1,8 @@
---- 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
+--- fiat-crypto-0.2.8/Cargo.toml	1970-01-01T00:00:01+00:00
++++ fiat-crypto-0.2.8/Cargo.toml	2024-04-23T11:15:08.076884+00:00
 @@ -14,7 +14,7 @@
  name = "fiat-crypto"
- version = "0.2.6"
+ version = "0.2.8"
  authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
 -description = "Fiat-crypto generated Rust"
 +description = "Correct-by-Construction Code for Cryptographic Primitives"
diff --git a/rust-fiat-crypto.spec b/rust-fiat-crypto.spec
index 6e08d23..a166264 100644
--- a/rust-fiat-crypto.spec
+++ b/rust-fiat-crypto.spec
@@ -1,11 +1,11 @@
-# Generated by rust2rpm 25
+# Generated by rust2rpm 26
 %bcond_without check
 %global debug_package %{nil}
 
 %global crate fiat-crypto
 
 Name:           rust-fiat-crypto
-Version:        0.2.6
+Version:        0.2.8
 Release:        %autorelease
 Summary:        Correct-by-Construction Code for Cryptographic Primitives
 
diff --git a/sources b/sources
index 73393d5..23b7a7a 100644
--- a/sources
+++ b/sources
@@ -1 +1 @@
-SHA512 (fiat-crypto-0.2.6-clean.crate) = 3526eafe2c729cec0d4583b93cd486e265113a909bec7bba5248a514eae9ee14efe375057c845b0844c4f9ce0d99c380c62b9d2ad826d5e5bdc344e8fcaa52c5
+SHA512 (fiat-crypto-0.2.8-clean.crate) = d83e75c03a26d79d11a731f503aff3b6227ae8b22b5b3ecc2acc0962fdba54ba94f665d2377594b0921e287a1b67a01c8c70f33c667aaf8a4bd7a72fd7ea5896