Merge pull request #85 from Nadrieril/improve-flake

Deduplicate `fstar` input in flake
AeneasVerif · Nov 18, 2024 · 5dd8ff3 · 5dd8ff3
2 parents d14783d + 17ecfd9
commit 5dd8ff3
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 69 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -2,7 +2,7 @@
   inputs = {
     flake-utils.url = "github:numtide/flake-utils";
     karamel.url = "github:FStarLang/karamel";
-    fstar.url = "github:FStarLang/fstar";
+    fstar.follows = "karamel/fstar";
 
     nixpkgs.follows = "karamel/nixpkgs";