Pin the version of lean-auto for reproducibility

boogie-org · Feb 14, 2024 · 9d58eb5 · 9d58eb5
1 parent 154fee4
commit 9d58eb5
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 25 deletions.
diff --git a/Source/Provers/LeanAuto/lakefile.lean b/Source/Provers/LeanAuto/lakefile.lean
@@ -6,7 +6,7 @@ package «prelude» {
 }
 
 require auto from git
-  "https://github.com/leanprover-community/lean-auto"@"main"
+  "https://github.com/leanprover-community/lean-auto"@"v0.0.6"
 
 @[default_target]
 lean_lib «Prelude» {

diff --git a/Test/lean-auto/lake-manifest.json b/Test/lean-auto/lake-manifest.json
diff --git a/Test/lean-auto/lakefile.lean b/Test/lean-auto/lakefile.lean
@@ -6,7 +6,7 @@ package «test» {
 }
 
 require auto from git
-  "https://github.com/leanprover-community/lean-auto"@"main"
+  "https://github.com/leanprover-community/lean-auto"@"v0.0.6"
 
 @[default_target]
 lean_lib «ToBuild» {