chore(nix): update F* to latest release

cryspen · Jan 18, 2024 · 6301d94 · 6301d94
1 parent 97dbd53
commit 6301d94
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 5 deletions.
diff --git a/flake.lock b/flake.lock
diff --git 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";