diff --git a/flake.lock b/flake.lock
index 7cd745a62..78f9df524 100644
--- a/flake.lock
+++ b/flake.lock
@@ -69,16 +69,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1693761108,
-        "narHash": "sha256-ymoP5DvaLdrdwJcnhZnLEvwNxUFzhkICajPyK4lvacc=",
+        "lastModified": 1705191588,
+        "narHash": "sha256-xjSWDP8mSjLcn+0hsRpEdzsBgBR+mKCZB8yLmHl+WqE=",
         "owner": "FStarLang",
         "repo": "FStar",
-        "rev": "7363057dc7dceb13e39d5afb2b1dd46161314f25",
+        "rev": "a32b316e521fa4f239b610ec8f1d15e78d62cbe8",
         "type": "github"
       },
       "original": {
         "owner": "FStarLang",
-        "ref": "v2023.09.03",
+        "ref": "v2024.01.13",
         "repo": "FStar",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index f833f152c..0f7279422 100644
--- a/flake.nix
+++ b/flake.nix
@@ -10,7 +10,7 @@
     };
     rust-overlay.follows = "crane/rust-overlay";
     fstar-flake = {
-      url = "github:FStarLang/FStar/v2023.09.03";
+      url = "github:FStarLang/FStar/v2024.01.13";
       inputs = {
         nixpkgs.follows = "nixpkgs";
         flake-utils.follows = "flake-utils";