From 8b1d6b676fd6b6c57f583d465f6a5b6ff4588036 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Mon, 9 Dec 2024 02:37:36 +0000
Subject: [PATCH] Update bindgen requirement from 0.69 to 0.71

Updates the requirements on [bindgen](https://github.com/rust-lang/rust-bindgen) to permit the latest version.
- [Release notes](https://github.com/rust-lang/rust-bindgen/releases)
- [Changelog](https://github.com/rust-lang/rust-bindgen/blob/main/CHANGELOG.md)
- [Commits](https://github.com/rust-lang/rust-bindgen/compare/v0.69.0...v0.71.0)

---
updated-dependencies:
- dependency-name: bindgen
  dependency-type: direct:production
...

Signed-off-by: dependabot[bot] <support@github.com>
---
 sys/hacl/Cargo.toml     | 2 +-
 sys/lib25519/Cargo.toml | 2 +-
 sys/libjade/Cargo.toml  | 2 +-
 sys/pqclean/Cargo.toml  | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

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"