Change lean-auto dependency to use duper2 branch

leanprover-community · Oct 3, 2024 · c7767b4 · c7767b4
1 parent 04377f4
commit c7767b4
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bfd373fb8ee85a0255f64b4f376e5fb08bb8a1da",
+   "rev": "2b6ed7d9f86d558d94b8d9036a637395163c4fa6",
    "name": "auto",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.11.0",
+   "inputRev": "2b6ed7d9f86d558d94b8d9036a637395163c4fa6",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/batteries",

diff --git a/lakefile.lean b/lakefile.lean
@@ -2,7 +2,7 @@ import Lake
 
 open Lake DSL
 
-require auto from git "https://github.com/leanprover-community/lean-auto.git"@"v4.11.0"
+require auto from git "https://github.com/leanprover-community/lean-auto.git"@"2b6ed7d9f86d558d94b8d9036a637395163c4fa6"
 require batteries from git "https://github.com/leanprover-community/batteries" @ "v4.11.0"
 
 package Duper {