mit-plv · JasonGross · Jun 3, 2025 · Apr 24, 2025 · Apr 24, 2025 · Apr 24, 2025
diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml
@@ -1,13 +1,14 @@
 [package]
 name = "fiat-crypto"
-version = "0.2.10"
+version = "0.3.0"
 authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
-edition = "2018"
+edition = "2021"
 description = "Fiat-crypto generated Rust"
 homepage = "https://github.com/mit-plv/fiat-crypto"
 repository = "https://github.com/mit-plv/fiat-crypto"
 readme = "README.md"
 license = "MIT OR Apache-2.0 OR BSD-1-Clause"
+rust-version = "1.83.0"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 

diff --git a/fiat-rust/src/curve25519_32.rs b/fiat-rust/src/curve25519_32.rs
diff --git a/fiat-rust/src/curve25519_64.rs b/fiat-rust/src/curve25519_64.rs
diff --git a/fiat-rust/src/curve25519_scalar_32.rs b/fiat-rust/src/curve25519_scalar_32.rs
diff --git a/fiat-rust/src/curve25519_scalar_64.rs b/fiat-rust/src/curve25519_scalar_64.rs
diff --git a/fiat-rust/src/curve25519_solinas_64.rs b/fiat-rust/src/curve25519_solinas_64.rs