From 6ae3b3763d709a56ee91cad81a219ecd2a223cef Mon Sep 17 00:00:00 2001
From: Jonas Schneider-Bensch <jonas@cryspen.com>
Date: Mon, 24 Feb 2025 08:59:06 +0100
Subject: [PATCH] Pin `libcrux`, `libcrux-kem` to `rand` pre-0.9 versions

---
 Cargo.toml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index 7523819..7fa74f2 100644
--- 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" }