From 80ec4ea37c430886bd34527488456419f9447dcc Mon Sep 17 00:00:00 2001
From: Jonas Schneider-Bensch <jonas@cryspen.com>
Date: Mon, 22 Jul 2024 15:38:00 +0200
Subject: [PATCH] chore: Release

---
 Cargo.lock                | 34 +++++++++++++++++-----------------
 Cargo.toml                | 18 +++++++++---------
 benchmarks/Cargo.toml     |  2 +-
 libcrux-ecdh/Cargo.toml   |  2 +-
 libcrux-hkdf/Cargo.toml   |  2 +-
 libcrux-hmac/Cargo.toml   |  4 ++--
 libcrux-kem/Cargo.toml    |  6 +++---
 libcrux-ml-dsa/Cargo.toml |  4 ++--
 libcrux-ml-kem/Cargo.toml |  6 +++---
 libcrux-psq/Cargo.toml    | 10 +++++-----
 libcrux-sha3/Cargo.toml   |  6 +++---
 sys/hacl/Cargo.toml       |  2 +-
 sys/libjade/Cargo.toml    |  2 +-
 13 files changed, 49 insertions(+), 49 deletions(-)

diff --git a/Cargo.lock b/Cargo.lock
index e39be7afb..d344e830a 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -102,7 +102,7 @@ checksum = "8c3c1a368f70d6cf7302d78f8f7093da241fb8e8807c05cc9e51a125895a6d5b"
 
 [[package]]
 name = "benchmarks"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "chacha20poly1305",
  "criterion",
@@ -182,7 +182,7 @@ checksum = "37b2a672a2cb129a2e41c10b1224bb368f9f37a2b16b612598138befd7b37eb5"
 
 [[package]]
 name = "cavp"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "hex",
  "log",
@@ -911,7 +911,7 @@ checksum = "830d08ce1d1d941e6b30645f1a0eb5643013d835ce3779a5fc208261dbe10f55"
 
 [[package]]
 name = "lib25519"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "bindgen",
  "cc",
@@ -927,7 +927,7 @@ checksum = "97b3888a4aecf77e811145cadf6eef5901f4782c53886191b2f693f24761847c"
 
 [[package]]
 name = "libcrux"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "clap",
  "getrandom",
@@ -956,7 +956,7 @@ dependencies = [
 
 [[package]]
 name = "libcrux-ecdh"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "hex",
  "libcrux-hacl",
@@ -978,7 +978,7 @@ dependencies = [
 
 [[package]]
 name = "libcrux-hacl"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "bindgen",
  "cc",
@@ -989,14 +989,14 @@ dependencies = [
 
 [[package]]
 name = "libcrux-hkdf"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "libcrux-hacl",
 ]
 
 [[package]]
 name = "libcrux-hmac"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "libcrux-hacl",
  "libcrux-hkdf",
@@ -1004,11 +1004,11 @@ dependencies = [
 
 [[package]]
 name = "libcrux-intrinsics"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 
 [[package]]
 name = "libcrux-kem"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "hex",
  "libcrux-ecdh",
@@ -1020,7 +1020,7 @@ dependencies = [
 
 [[package]]
 name = "libcrux-ml-dsa"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "criterion",
  "hex",
@@ -1034,7 +1034,7 @@ dependencies = [
 
 [[package]]
 name = "libcrux-ml-kem"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "criterion",
  "hax-lib 0.1.0-pre.1 (git+https://github.com/hacspec/hax/)",
@@ -1050,14 +1050,14 @@ dependencies = [
 
 [[package]]
 name = "libcrux-platform"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "libc",
 ]
 
 [[package]]
 name = "libcrux-pqclean"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "bindgen",
  "cc",
@@ -1066,7 +1066,7 @@ dependencies = [
 
 [[package]]
 name = "libcrux-psq"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "classic-mceliece-rust",
  "criterion",
@@ -1080,7 +1080,7 @@ dependencies = [
 
 [[package]]
 name = "libcrux-sha3"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "cavp",
  "criterion",
@@ -1105,7 +1105,7 @@ dependencies = [
 
 [[package]]
 name = "libjade-sys"
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 dependencies = [
  "bindgen",
  "cc",
diff --git a/Cargo.toml b/Cargo.toml
index 451251c6b..a7a7852bc 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -20,7 +20,7 @@ members = [
 ]
 
 [workspace.package]
-version = "0.0.2-alpha.1"
+version = "0.0.2-alpha.2"
 authors = ["Cryspen"]
 license = "Apache-2.0"
 homepage = "https://github.com/cryspen/libcrux"
@@ -58,16 +58,16 @@ exclude = [
 crate-type = ["staticlib", "cdylib", "lib"]
 
 [build-dependencies]
-libcrux-platform = { version = "=0.0.2-alpha.1", path = "sys/platform" }
+libcrux-platform = { version = "=0.0.2-alpha.2", path = "sys/platform" }
 
 [dependencies]
-libcrux-hacl = { version = "=0.0.2-alpha.1", path = "sys/hacl" }
-libcrux-platform = { version = "=0.0.2-alpha.1", path = "sys/platform" }
-libcrux-hkdf = { version = "=0.0.2-alpha.1", path = "libcrux-hkdf" }
-libcrux-hmac = { version = "=0.0.2-alpha.1", path = "libcrux-hmac" }
-libcrux-ecdh = { version = "=0.0.2-alpha.1", path = "libcrux-ecdh" }
-libcrux-ml-kem = { version = "=0.0.2-alpha.1", path = "libcrux-ml-kem" }
-libcrux-kem = { version = "=0.0.2-alpha.1", path = "libcrux-kem" }
+libcrux-hacl = { version = "=0.0.2-alpha.2", path = "sys/hacl" }
+libcrux-platform = { version = "=0.0.2-alpha.2", path = "sys/platform" }
+libcrux-hkdf = { version = "=0.0.2-alpha.2", path = "libcrux-hkdf" }
+libcrux-hmac = { version = "=0.0.2-alpha.2", path = "libcrux-hmac" }
+libcrux-ecdh = { version = "=0.0.2-alpha.2", path = "libcrux-ecdh" }
+libcrux-ml-kem = { version = "=0.0.2-alpha.2", path = "libcrux-ml-kem" }
+libcrux-kem = { version = "=0.0.2-alpha.2", path = "libcrux-kem" }
 rand = { version = "0.8" }
 log = { version = "0.4", optional = true }
 # WASM API
diff --git a/benchmarks/Cargo.toml b/benchmarks/Cargo.toml
index 0040df7ca..2dcc3b2d4 100644
--- a/benchmarks/Cargo.toml
+++ b/benchmarks/Cargo.toml
@@ -47,7 +47,7 @@ pqcrypto-kyber = { version = "0.8.0" }
 openssl = "0.10"
 
 [target.'cfg(all(not(target_os = "windows"), target_arch = "x86_64"))'.dev-dependencies]
-libjade-sys = { version = "=0.0.2-alpha.1", path = "../sys/libjade" }
+libjade-sys = { version = "=0.0.2-alpha.2", path = "../sys/libjade" }
 
 [[bench]]
 name = "sha2"
diff --git a/libcrux-ecdh/Cargo.toml b/libcrux-ecdh/Cargo.toml
index 0065f0d96..95d0de84d 100644
--- a/libcrux-ecdh/Cargo.toml
+++ b/libcrux-ecdh/Cargo.toml
@@ -14,7 +14,7 @@ path = "src/ecdh.rs"
 
 [dependencies]
 rand = { version = "0.8" }
-libcrux-hacl = { version = "=0.0.2-alpha.1", path = "../sys/hacl" }
+libcrux-hacl = { version = "=0.0.2-alpha.2", path = "../sys/hacl" }
 
 [dev-dependencies]
 rand_core = { version = "0.6" }
diff --git a/libcrux-hkdf/Cargo.toml b/libcrux-hkdf/Cargo.toml
index b2526b066..faaaf40ca 100644
--- a/libcrux-hkdf/Cargo.toml
+++ b/libcrux-hkdf/Cargo.toml
@@ -13,5 +13,5 @@ description = "Libcrux HKDF implementation"
 path = "src/hkdf.rs"
 
 [dependencies]
-libcrux-hacl = { version = "=0.0.2-alpha.1", path = "../sys/hacl" }
+libcrux-hacl = { version = "=0.0.2-alpha.2", path = "../sys/hacl" }
 
diff --git a/libcrux-hmac/Cargo.toml b/libcrux-hmac/Cargo.toml
index 7abe29d0b..49a884693 100644
--- a/libcrux-hmac/Cargo.toml
+++ b/libcrux-hmac/Cargo.toml
@@ -13,5 +13,5 @@ description = "Libcrux HMAC implementation"
 path = "src/hmac.rs"
 
 [dependencies]
-libcrux-hkdf = { version = "=0.0.2-alpha.1", path = "../libcrux-hkdf" }
-libcrux-hacl = { version = "=0.0.2-alpha.1", path = "../sys/hacl" }
+libcrux-hkdf = { version = "=0.0.2-alpha.2", path = "../libcrux-hkdf" }
+libcrux-hacl = { version = "=0.0.2-alpha.2", path = "../sys/hacl" }
diff --git a/libcrux-kem/Cargo.toml b/libcrux-kem/Cargo.toml
index 89130d4a2..1a6846aad 100644
--- a/libcrux-kem/Cargo.toml
+++ b/libcrux-kem/Cargo.toml
@@ -14,9 +14,9 @@ exclude = ["/tests"]
 path = "src/kem.rs"
 
 [dependencies]
-libcrux-ml-kem = { version = "0.0.2-alpha.1", path = "../libcrux-ml-kem" }
-libcrux-sha3 = { version = "0.0.2-alpha.1", path = "../libcrux-sha3" }
-libcrux-ecdh = { version = "0.0.2-alpha.1", path = "../libcrux-ecdh" }
+libcrux-ml-kem = { version = "0.0.2-alpha.2", path = "../libcrux-ml-kem" }
+libcrux-sha3 = { version = "0.0.2-alpha.2", path = "../libcrux-sha3" }
+libcrux-ecdh = { version = "0.0.2-alpha.2", path = "../libcrux-ecdh" }
 rand = { version = "0.8" }
 
 [features]
diff --git a/libcrux-ml-dsa/Cargo.toml b/libcrux-ml-dsa/Cargo.toml
index 8dae2469f..7e1009ba5 100644
--- a/libcrux-ml-dsa/Cargo.toml
+++ b/libcrux-ml-dsa/Cargo.toml
@@ -13,8 +13,8 @@ publish = false
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-libcrux-sha3 = { version = "0.0.2-alpha.1", path = "../libcrux-sha3" }
-libcrux-intrinsics = { version = "0.0.2-alpha.1", path = "../libcrux-intrinsics" }
+libcrux-sha3 = { version = "0.0.2-alpha.2", path = "../libcrux-sha3" }
+libcrux-intrinsics = { version = "0.0.2-alpha.2", path = "../libcrux-intrinsics" }
 
 [dev-dependencies]
 rand = { version = "0.8" }
diff --git a/libcrux-ml-kem/Cargo.toml b/libcrux-ml-kem/Cargo.toml
index eec43f14a..ecc707568 100644
--- a/libcrux-ml-kem/Cargo.toml
+++ b/libcrux-ml-kem/Cargo.toml
@@ -20,9 +20,9 @@ exclude = [
 
 [dependencies]
 rand_core = { version = "0.6" }
-libcrux-platform = { version = "0.0.2-alpha.1", path = "../sys/platform" }
-libcrux-sha3 = { version = "0.0.2-alpha.1", path = "../libcrux-sha3" }
-libcrux-intrinsics = { version = "0.0.2-alpha.1", path = "../libcrux-intrinsics" }
+libcrux-platform = { version = "0.0.2-alpha.2", path = "../sys/platform" }
+libcrux-sha3 = { version = "0.0.2-alpha.2", path = "../libcrux-sha3" }
+libcrux-intrinsics = { version = "0.0.2-alpha.2", path = "../libcrux-intrinsics" }
 
 # This is only required for verification.
 # The hax config is set by the hax toolchain.
diff --git a/libcrux-psq/Cargo.toml b/libcrux-psq/Cargo.toml
index 0880cb9f8..1048913f5 100644
--- a/libcrux-psq/Cargo.toml
+++ b/libcrux-psq/Cargo.toml
@@ -11,18 +11,18 @@ description = "Libcrux Pre-Shared post-Quantum key establishement protocol"
 publish = false
 
 [dependencies]
-libcrux-kem = { version = "0.0.2-alpha.1", path = "../libcrux-kem", features = [
+libcrux-kem = { version = "0.0.2-alpha.2", path = "../libcrux-kem", features = [
     "pre-verification",
 ] }
-libcrux-hkdf = { version = "=0.0.2-alpha.1", path = "../libcrux-hkdf" }
-libcrux-hmac = { version = "=0.0.2-alpha.1", path = "../libcrux-hmac" }
+libcrux-hkdf = { version = "=0.0.2-alpha.2", path = "../libcrux-hkdf" }
+libcrux-hmac = { version = "=0.0.2-alpha.2", path = "../libcrux-hmac" }
 classic-mceliece-rust = { version = "2.0.0", features = [
     "mceliece460896f",
     "zeroize",
 ] }
 rand = { version = "0.8" }
-libcrux-ecdh = { version = "0.0.2-alpha.1", path = "../libcrux-ecdh" }
-libcrux = { version = "0.0.2-alpha.1", path = ".." }
+libcrux-ecdh = { version = "0.0.2-alpha.2", path = "../libcrux-ecdh" }
+libcrux = { version = "0.0.2-alpha.2", path = ".." }
 
 [dev-dependencies]
 criterion = "0.5"
diff --git a/libcrux-sha3/Cargo.toml b/libcrux-sha3/Cargo.toml
index f9509c458..c6e73261a 100644
--- a/libcrux-sha3/Cargo.toml
+++ b/libcrux-sha3/Cargo.toml
@@ -11,8 +11,8 @@ description = "Libcrux SHA-3 implementation"
 exclude = ["/proofs", "/c.sh", "/c.yaml"]
 
 [dependencies]
-libcrux-platform = { version = "0.0.2-alpha.1", path = "../sys/platform" }
-libcrux-intrinsics = { version = "0.0.2-alpha.1", path = "../libcrux-intrinsics" }
+libcrux-platform = { version = "0.0.2-alpha.2", path = "../sys/platform" }
+libcrux-intrinsics = { version = "0.0.2-alpha.2", path = "../libcrux-intrinsics" }
 
 # This is only required for verification.
 # The hax config is set by the hax toolchain.
@@ -31,7 +31,7 @@ harness = false
 criterion = "0.5.1"
 hex = "0.4.3"
 rand = "0.8.5"
-cavp = { version = "0.0.2-alpha.1", path = "../cavp" }
+cavp = { version = "0.0.2-alpha.2", path = "../cavp" }
 pretty_env_logger = "0.5.0"
 
 [lints.rust]
diff --git a/sys/hacl/Cargo.toml b/sys/hacl/Cargo.toml
index 70c8ddac6..3e44036b9 100644
--- a/sys/hacl/Cargo.toml
+++ b/sys/hacl/Cargo.toml
@@ -16,7 +16,7 @@ crate-type = ["cdylib", "rlib"]
 
 [build-dependencies]
 cc = { version = "1.1", features = ["parallel"] }
-libcrux-platform = { version = "=0.0.2-alpha.1", path = "../platform" }
+libcrux-platform = { version = "=0.0.2-alpha.2", path = "../platform" }
 bindgen = { version = "0.69", optional = true }
 
 [features]
diff --git a/sys/libjade/Cargo.toml b/sys/libjade/Cargo.toml
index 08f7a8857..8933fe9dd 100644
--- a/sys/libjade/Cargo.toml
+++ b/sys/libjade/Cargo.toml
@@ -14,7 +14,7 @@ publish = false
 
 [build-dependencies]
 cc = { version = "1.1", features = ["parallel"] }
-libcrux-platform = { version = "=0.0.2-alpha.1", path = "../platform" }
+libcrux-platform = { version = "=0.0.2-alpha.2", path = "../platform" }
 
 [target.'cfg(not(windows))'.build-dependencies]
 bindgen = { version = "0.69", optional = true }