diff --git a/flake.lock b/flake.lock
index e7ea4f8..7e9bece 100644
--- a/flake.lock
+++ b/flake.lock
@@ -16,11 +16,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1719997219,
-        "narHash": "sha256-PfGKfH5AoJ3ctAZwHICVbWalS+9FxDVb8EEcD9j+/Ss=",
+        "lastModified": 1732605909,
+        "narHash": "sha256-jQ+JnEKGFitghR+OGNC9SojbKmTxUYSq0t9X3a4bgTU=",
         "owner": "cryspen",
         "repo": "bertie",
-        "rev": "b5775ee9f2d58cd2180b4ee32937abb9103f4087",
+        "rev": "1b90bcca63a94fa14b0b64bd33221a4abdd6e53f",
         "type": "github"
       },
       "original": {
@@ -47,11 +47,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1732533249,
-        "narHash": "sha256-vVo7zS5j0HV+baK/etZDWOXpDuf63Nhku3n1H83zWBc=",
+        "lastModified": 1732661109,
+        "narHash": "sha256-JNcosq05JwRUnGb/ibthiUT8BHAJSmDtFJyKV7fwIjM=",
         "owner": "aeneasverif",
         "repo": "charon",
-        "rev": "3a58b405d75aa67abe8ada378ca0d94fb49c245e",
+        "rev": "3402870cbf5b49d92fd18c312831ef30a14e6a5b",
         "type": "github"
       },
       "original": {
@@ -192,11 +192,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1732274136,
-        "narHash": "sha256-+ljfrTBEf2tnEAdc0VbYDpC4mEkW6xEW4bIbiSsp5wI=",
+        "lastModified": 1732626251,
+        "narHash": "sha256-U/l0q78gFAtJC0AozYu03vZHK+K7UuzP04yxVbZFfiA=",
         "owner": "hacspec",
         "repo": "hax",
-        "rev": "e4c6c2be1caf46ebf421fb2bc17f8a2d17aa5c1a",
+        "rev": "01e7ecd775c10abc4519ea2f8279bc741ed24a37",
         "type": "github"
       },
       "original": {
@@ -293,11 +293,11 @@
     },
     "nixpkgs_2": {
       "locked": {
-        "lastModified": 1732579415,
-        "narHash": "sha256-hL6BKhApIzPT3SdTf3Of8COJmZBH91+gzQV2LgG3yZM=",
+        "lastModified": 1732669570,
+        "narHash": "sha256-tOFhcrU76MPyNl9PwvecoaAgJJOjvEobZ7D8AliMMxM=",
         "owner": "nixos",
         "repo": "nixpkgs",
-        "rev": "8e1a49bfa38a0b2eb483e0a9c46f5979022b037e",
+        "rev": "943df479973b3490c3dff45e750505ac4ab7f8ec",
         "type": "github"
       },
       "original": {
@@ -354,11 +354,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1732328983,
-        "narHash": "sha256-RHt12f/slrzDpSL7SSkydh8wUE4Nr4r23HlpWywed9E=",
+        "lastModified": 1732588352,
+        "narHash": "sha256-J2/hxOO1VtBA/u+a+9E+3iJpWT3xsBdghgYAVfoGCJo=",
         "owner": "oxalica",
         "repo": "rust-overlay",
-        "rev": "ed8aa5b64f7d36d9338eb1d0a3bb60cf52069a72",
+        "rev": "414e748aae5c9e6ca63c5aafffda03e5dad57ceb",
         "type": "github"
       },
       "original": {