diff --git a/Cargo.lock b/Cargo.lock
index 590a44b52..8b4ffc7d0 100644
--- a/Cargo.lock
+++ b/Cargo.lock
@@ -924,9 +924,9 @@ dependencies = [
 
 [[package]]
 name = "libc"
-version = "0.2.158"
+version = "0.2.159"
 source = "registry+https://github.com/rust-lang/crates.io-index"
-checksum = "d8adc4bb1803a324070e64a98ae98f38934d91957a99cfb3a43dcbc01bc56439"
+checksum = "561d97a539a36e26a9a5fad1ea11a3039a67714694aaa379433e580854bc3dc5"
 
 [[package]]
 name = "libcrux"
diff --git a/sys/platform/Cargo.toml b/sys/platform/Cargo.toml
index 76b6405c3..14d9bd609 100644
--- a/sys/platform/Cargo.toml
+++ b/sys/platform/Cargo.toml
@@ -10,7 +10,7 @@ readme.workspace = true
 description = "Platform detection crate for libcrux."
 
 [dependencies]
-libc = "0.2.153"
+libc = "0.2.159"
 
 [lints.rust]
 unexpected_cfgs = { level = "warn", check-cfg = ['cfg(hax)', 'cfg(eurydice)'] }