diff --git a/sys/hacl/Cargo.toml b/sys/hacl/Cargo.toml
index 910b9dd7b..f87042087 100644
--- a/sys/hacl/Cargo.toml
+++ b/sys/hacl/Cargo.toml
@@ -17,7 +17,7 @@ crate-type = ["cdylib", "rlib"]
 [build-dependencies]
 cc = { version = "1.1", features = ["parallel"] }
 libcrux-platform = { version = "=0.0.2-beta.2", path = "../platform" }
-bindgen = { version = "0.69", optional = true }
+bindgen = { version = "0.71", optional = true }
 
 [features]
 bindings = ["bindgen"] # generate fresh bindings
diff --git a/sys/lib25519/Cargo.toml b/sys/lib25519/Cargo.toml
index 22d1a9234..c2e8e3ef3 100644
--- a/sys/lib25519/Cargo.toml
+++ b/sys/lib25519/Cargo.toml
@@ -15,5 +15,5 @@ libc = "0.2"
 
 [build-dependencies]
 cc = { version = "1.1", features = ["parallel"] }
-bindgen = { version = "0.69", optional = true }
+bindgen = { version = "0.71", optional = true }
 pkg-config = "0.3"
diff --git a/sys/libjade/Cargo.toml b/sys/libjade/Cargo.toml
index f84c6ea29..7661edb3d 100644
--- a/sys/libjade/Cargo.toml
+++ b/sys/libjade/Cargo.toml
@@ -17,7 +17,7 @@ cc = { version = "1.1", features = ["parallel"] }
 libcrux-platform = { version = "=0.0.2-beta.2", path = "../platform" }
 
 [target.'cfg(not(windows))'.build-dependencies]
-bindgen = { version = "0.69", optional = true }
+bindgen = { version = "0.71", optional = true }
 
 [dev-dependencies]
 pretty_env_logger = "0.5"
diff --git a/sys/pqclean/Cargo.toml b/sys/pqclean/Cargo.toml
index 8cbf6b6ce..581561f2c 100644
--- a/sys/pqclean/Cargo.toml
+++ b/sys/pqclean/Cargo.toml
@@ -14,5 +14,5 @@ publish = false
 
 [build-dependencies]
 cc = { version = "1.1", features = ["parallel"] }
-bindgen = "0.69"
+bindgen = "0.71"
 fs_extra = "1.2"