Pin libcrux, libcrux-kem to rand pre-0.9 versions

cryspen · Feb 24, 2025 · 6ae3b37 · 6ae3b37
1 parent 56313b8
commit 6ae3b37
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -17,10 +17,10 @@ backtrace = "0.3.0"
 rand = "0.8.0"
 hex = "0.4.3"
 tracing = "0.1"
-libcrux-kem = { git = "https://github.com/cryspen/libcrux", features = ["kyber"]}
+libcrux-kem = { git = "https://github.com/cryspen/libcrux", features = ["kyber"], rev = "2a3e2f22ec9e1f1f4ecf317338408b873e7f538a"}
 libcrux = { git = "https://github.com/cryspen/libcrux", features = [
     "rand",
-]}
+], rev = "2a3e2f22ec9e1f1f4ecf317338408b873e7f538a"}
 hax-lib-macros = { git = "https://github.com/hacspec/hax", optional = true }
 hax-lib = { git = "https://github.com/hacspec/hax" }