diff --git a/flake.lock b/flake.lock
index ec2cbea..dce6094 100644
--- a/flake.lock
+++ b/flake.lock
@@ -23,11 +23,11 @@
         "nixpkgs": "nixpkgs"
       },
       "locked": {
-        "lastModified": 1725636128,
-        "narHash": "sha256-U/v2ZIyMiFjM6jzBEz2s7/fyqwhCoH3eOA4ndjnA/no=",
+        "lastModified": 1725684371,
+        "narHash": "sha256-Oj6mU1KqWcH04KaoLHSPB6MGzB0/85Cv7QOWjPB+FR0=",
         "owner": "fstarlang",
         "repo": "fstar",
-        "rev": "f2ef620cfde52aafb4dff12e438ba508d80245a3",
+        "rev": "6c8c8133c1cfb54f9aecc4dcb5e7e24ff3ce7a53",
         "type": "github"
       },
       "original": {
@@ -78,11 +78,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1725560444,
-        "narHash": "sha256-RY4ToIlKH6ouz6q0PiJT/bgQMDJLUEwW2qAFQ0EY0NU=",
+        "lastModified": 1725774056,
+        "narHash": "sha256-W5EpRxTuUuAZc6A7hPrXdH6E6FPoW9CtoGrdFUDhXvk=",
         "owner": "fstarlang",
         "repo": "karamel",
-        "rev": "e9b59774cf7bcb340db1c476c596922678b96850",
+        "rev": "97ced7728b3a3964a9c42c4b2b5b409ec41e9ce4",
         "type": "github"
       },
       "original": {