Automated Rust Crate Version Bump: Tue Nov 14 14:33:51 UTC 2023 1e8ee80…

… (#1731) Co-authored-by: Automated Publisher <[email protected]>
mit-plv · Nov 14, 2023 · 4f53772 · 4f53772
1 parent 1e8ee80
commit 4f53772
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "fiat-crypto"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Fiat Crypto library authors <[email protected]>"]
 edition = "2018"
 description = "Fiat-crypto generated Rust"