Try leanprover/lean4#2568

nomeata · Sep 21, 2023 · 4be0e7b · 4be0e7b
1 parent 447c6f0
commit 4be0e7b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 7 deletions.
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -1,5 +1,6 @@
 {
-  inputs.lean.url = github:leanprover/lean4/v4.1.0-rc1;
+  inputs.lean.url = github:nomeata/lean4/nix-no-depRoot;
+  #inputs.lean.url = github:leanprover/lean4/v4.1.0-rc1;
 
   inputs.nixpkgs.url = github:NixOS/nixpkgs;
   inputs.nixpkgs.follows = "lean/nixpkgs";