diff --git a/Cargo.toml b/Cargo.toml
index 30bedaa97..0bffdcb62 100644
--- a/Cargo.toml
+++ b/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"]
diff --git a/libcrux-ml-dsa/Cargo.toml b/libcrux-ml-dsa/Cargo.toml
index 03b0f1a19..311edf6cc 100644
--- a/libcrux-ml-dsa/Cargo.toml
+++ b/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
 
diff --git a/libcrux-psq/Cargo.toml b/libcrux-psq/Cargo.toml
index c0fb4ad41..0e447b814 100644
--- a/libcrux-psq/Cargo.toml
+++ b/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"
diff --git a/src/hax_utils.rs b/src/hax_utils.rs
deleted file mode 100644
index 8b9acc501..000000000
--- a/src/hax_utils.rs
+++ /dev/null
@@ -1,14 +0,0 @@
-macro_rules! hax_debug_assert {
-    ($($arg:tt)*) => {
-        #[cfg(hax)]
-        {
-            hax_lib::debug_assert!($($arg)*)
-        }
-        #[cfg(not(hax))]
-        {
-            debug_assert!($($arg)*)
-        }
-    };
-}
-
-pub(crate) use hax_debug_assert;
diff --git a/src/lib.rs b/src/lib.rs
index a08ba4f98..8642eaa91 100644
--- a/src/lib.rs
+++ b/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
diff --git a/sys/lib25519/Cargo.toml b/sys/lib25519/Cargo.toml
index a90349f35..f287dc824 100644
--- a/sys/lib25519/Cargo.toml
+++ b/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"
diff --git a/sys/libjade/Cargo.toml b/sys/libjade/Cargo.toml
index c22f1708e..545d3826b 100644
--- a/sys/libjade/Cargo.toml
+++ b/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]