diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml
index 51483d5fe1..a87c70d66a 100644
--- a/fiat-rust/Cargo.toml
+++ b/fiat-rust/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fiat-crypto"
-version = "0.2.7"
+version = "0.2.8"
 authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
 edition = "2018"
 description = "Fiat-crypto generated Rust"