fix(nix): use default branch instead of nix-expose-lib

AeneasVerif · Jan 18, 2024 · b173212 · b173212
1 parent accecac
commit b173212
Show file tree

Hide file tree

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