diff --git a/Cargo.toml b/Cargo.toml
index 8cdc3bff2..67610c780 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -1,28 +1,28 @@
 [workspace]
 members = [
-  "sys/hacl",
-  "sys/libjade",
-  "sys/platform",
-  "sys/pqclean",
-  "sys/lib25519",
-  "benchmarks",
-  "fuzz",
-  "libcrux-ml-kem",
-  "libcrux-ml-kem/fuzz",
-  "libcrux-sha3",
-  "libcrux-ml-dsa",
-  "libcrux-intrinsics",
-  "libcrux-kem",
-  "libcrux-hmac",
-  "libcrux-hkdf",
-  "libcrux-ecdh",
-  "libcrux-psq",
-  "macros",
-  "cavp",
-  "traits",
-  "sha2",
-  "ed25519",
-  "curve25519",
+    "sys/hacl",
+    "sys/libjade",
+    "sys/platform",
+    "sys/pqclean",
+    "sys/lib25519",
+    "benchmarks",
+    "fuzz",
+    "libcrux-ml-kem",
+    "libcrux-ml-kem/fuzz",
+    "libcrux-sha3",
+    "libcrux-ml-dsa",
+    "libcrux-intrinsics",
+    "libcrux-kem",
+    "libcrux-hmac",
+    "libcrux-hkdf",
+    "libcrux-ecdh",
+    "libcrux-psq",
+    "macros",
+    "cavp",
+    "traits",
+    "sha2",
+    "ed25519",
+    "curve25519",
 ]
 
 [workspace.package]
@@ -49,15 +49,15 @@ readme.workspace = true
 documentation = "https://docs.rs/libcrux/"
 description = "The Formally Verified Cryptography Library"
 exclude = [
-  "/tests",
-  "/specs",
-  "/proofs",
-  "/*.py",
-  "/wasm-demo",
-  "/fuzz",
-  "/git-hooks",
-  "/architecture",
-  "/libcrux.fst.config.json",
+    "/tests",
+    "/specs",
+    "/proofs",
+    "/*.py",
+    "/wasm-demo",
+    "/fuzz",
+    "/git-hooks",
+    "/architecture",
+    "/libcrux.fst.config.json",
 ]
 
 [lib]
@@ -123,11 +123,11 @@ panic = "abort"
 
 [lints.rust]
 unexpected_cfgs = { level = "warn", check-cfg = [
-  'cfg(hax)',
-  'cfg(eurydice)',
-  'cfg(doc_cfg)',
-  'cfg(libjade)',
-  'cfg(simd128)',
-  'cfg(simd256)',
-  'cfg(aes_ni)',
+    'cfg(hax)',
+    'cfg(eurydice)',
+    'cfg(doc_cfg)',
+    'cfg(libjade)',
+    'cfg(simd128)',
+    'cfg(simd256)',
+    'cfg(aes_ni)',
 ] }
diff --git a/curve25519/Cargo.toml b/curve25519/Cargo.toml
index e3d5324ec..47e26ec85 100644
--- a/curve25519/Cargo.toml
+++ b/curve25519/Cargo.toml
@@ -18,6 +18,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:libcrux-macros"]
 [dependencies]
 libcrux-hacl-rs = { version = "=0.0.2-beta.2", path = "../hacl-rs/", optional = true }
 libcrux-sha2 = { version = "=0.0.2-beta.2", path = "../sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 libcrux-macros = { version = "=0.0.2-beta.2", path = "../macros", optional = true }
diff --git a/ed25519/Cargo.toml b/ed25519/Cargo.toml
index 895f3e30c..879fcb49b 100644
--- a/ed25519/Cargo.toml
+++ b/ed25519/Cargo.toml
@@ -18,6 +18,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:libcrux-macros"]
 [dependencies]
 libcrux-hacl-rs = { version = "=0.0.2-beta.2", path = "../hacl-rs/", optional = true }
 libcrux-sha2 = { version = "=0.0.2-beta.2", path = "../sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 libcrux-macros = { version = "=0.0.2-beta.2", path = "../macros", optional = true }
diff --git a/libcrux-ecdh/Cargo.toml b/libcrux-ecdh/Cargo.toml
index ebb17c57e..3fa7eb40c 100644
--- a/libcrux-ecdh/Cargo.toml
+++ b/libcrux-ecdh/Cargo.toml
@@ -16,7 +16,7 @@ path = "src/ecdh.rs"
 rand = { version = "0.8" }
 libcrux-hacl = { version = "=0.0.2-beta.2", path = "../sys/hacl" }
 libcrux-curve25519 = { version = "=0.0.2-beta.2", path = "../curve25519", features = [
-  "hacl",
+    "hacl",
 ] }
 
 [dev-dependencies]
diff --git a/libcrux-hmac/Cargo.toml b/libcrux-hmac/Cargo.toml
index 13dd810d6..f2cd55674 100644
--- a/libcrux-hmac/Cargo.toml
+++ b/libcrux-hmac/Cargo.toml
@@ -20,6 +20,6 @@ hacl = ["dep:libcrux-sha2", "dep:libcrux-hacl-rs", "dep:libcrux-macros"]
 [dependencies]
 libcrux-hacl-rs = { version = "=0.0.2-beta.2", path = "../hacl-rs/", optional = true }
 libcrux-sha2 = { version = "=0.0.2-beta.2", path = "../sha2", optional = true, features = [
-  "hacl",
+    "hacl",
 ] }
 libcrux-macros = { version = "=0.0.2-beta.2", path = "../macros", optional = true }