diff --git a/flake.lock b/flake.lock
index 869ac72..9513bb7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -52,11 +52,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1708972896,
-        "narHash": "sha256-+dlZwocgenFFkwXh0vomp0XOWGPI0ObGcVDN76I+fls=",
+        "lastModified": 1709029146,
+        "narHash": "sha256-xKqBQ1OdLnyng4Kl3XRU//borVLLet+h15mPQ5g0BEI=",
         "owner": "hacl-star",
         "repo": "hacl-star",
-        "rev": "908a667766dd0e95ed212261e248d3c8d8dc0bdb",
+        "rev": "59723f7dde13bd7b7eb90491f1385b4e3ee2904f",
         "type": "github"
       },
       "original": {