Merge pull request #350 from cryspen/franziskus/release-cleanup1

release cleanup 0.0.2-alpha.1

Cargo.toml

@@ -28,8 +28,7 @@ repository = "https://github.com/cryspen/libcrux"
 readme = "Readme.md"
 
 [workspace.metadata.release]
-# TODO: drop dev as soon as we merged everything back to main.
-allow-branch = ["main", "dev"]
+allow-branch = ["main"]
 
 [package]
 name = "libcrux"
@@ -42,7 +41,17 @@ repository.workspace = true
 readme.workspace = true
 documentation = "https://docs.rs/libcrux/"
 description = "The Formally Verified Cryptography Library"
-exclude = ["/tests", "/specs"]
+exclude = [
+    "/tests",
+    "/specs",
+    "/proofs",
+    "/*.py",
+    "/wasm-demo",
+    "/fuzz",
+    "/git-hooks",
+    "/architecture",
+    "/libcrux.fst.config.json",
+]
 
 [lib]
 crate-type = ["staticlib", "cdylib", "lib"]

libcrux-ml-dsa/Cargo.toml

@@ -8,6 +8,7 @@ edition.workspace = true
 repository.workspace = true
 readme.workspace = true
 description = "Libcrux ML-DSA implementation"
+publish = false
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 

libcrux-psq/Cargo.toml

@@ -8,6 +8,7 @@ edition.workspace = true
 repository.workspace = true
 readme.workspace = true
 description = "Libcrux Pre-Shared post-Quantum key establishement protocol"
+publish = false
 
 [lib]
 path = "src/psq.rs"

src/lib.rs

@@ -2,10 +2,6 @@
 //!
 //! The unified, formally verified, cryptography library.
 
-// We wrap hax utilities here to only require that dependency when using the
-// `hax` configuration.
-pub(crate) mod hax_utils;
-
 pub use libcrux_platform::aes_ni_support;
 
 // Jasmin

sys/lib25519/Cargo.toml

@@ -8,6 +8,7 @@ homepage.workspace = true
 repository.workspace = true
 readme.workspace = true
 description = "sys crate for lib25519 on linux and macOS."
+publish = false
 
 [dependencies]
 libc = "0.2"

sys/libjade/Cargo.toml

@@ -8,6 +8,7 @@ homepage.workspace = true
 repository.workspace = true
 readme = "Readme.md"
 description = "Rust bindings for libjade, a formally verified cryptographic library written in jasmin."
+publish = false
 
 [dependencies]