cleanup cargo.tomls for mlkem release

cryspen · Jun 18, 2024 · 0856930 · 0856930
1 parent 52af832
commit 0856930
Show file tree

Hide file tree

Showing 4 changed files with 10 additions and 19 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/libcrux-intrinsics/Cargo.toml b/libcrux-intrinsics/Cargo.toml
@@ -9,12 +9,6 @@ repository.workspace = true
 readme.workspace = true
 
 [dependencies]
-# libcrux-platform = { version = "0.0.2-pre.2", path = "../sys/platform" }
-
-# This is only required for verification.
-# The hax config is set by the hax toolchain.
-[target.'cfg(hax)'.dependencies]
-hax-lib = { git = "https://github.com/hacspec/hax/" }
 
 [features]
 simd128 = []

diff --git a/libcrux-ml-kem/Cargo.toml b/libcrux-ml-kem/Cargo.toml
@@ -18,7 +18,7 @@ libcrux-intrinsics = { version = "0.0.2-pre.2", path = "../libcrux-intrinsics" }
 # This is only required for verification.
 # The hax config is set by the hax toolchain.
 [target.'cfg(hax)'.dependencies]
-hax-lib = { git = "https://github.com/hacspec/hax/" }
+hax-lib = { version = "0.1.0-pre.1", git = "https://github.com/hacspec/hax/" }
 
 [features]
 default = ["std"]

diff --git a/libcrux-sha3/Cargo.toml b/libcrux-sha3/Cargo.toml
@@ -15,7 +15,7 @@ libcrux-intrinsics = { version = "0.0.2-pre.2", path = "../libcrux-intrinsics" }
 # This is only required for verification.
 # The hax config is set by the hax toolchain.
 [target.'cfg(hax)'.dependencies]
-hax-lib = { git = "https://github.com/hacspec/hax/" }
+hax-lib = { version = "0.1.0-pre.1", git = "https://github.com/hacspec/hax/" }
 
 [features]
 simd128 = []