release cleanup 0.0.2-alpha.1

Cargo.toml

@@ -42,7 +42,7 @@ repository.workspace = true
 readme.workspace = true
 documentation = "https://docs.rs/libcrux/"
 description = "The Formally Verified Cryptography Library"
-exclude = ["/tests", "/specs"]
+exclude = ["/tests", "/specs", "/proofs"]
 
 [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]