Updating lakefile to use a fixed std commit

leanprover-community · Jan 24, 2024 · 0a4b392 · 0a4b392
1 parent d5afbe8
commit 0a4b392
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -7,7 +7,7 @@
    "rev": "3959bc5de5142d06d7673ec091d406e5abe45bf0",
    "name": "std",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
+   "inputRev": "3959bc5de5142d06d7673ec091d406e5abe45bf0",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "auto",

diff --git a/lakefile.lean b/lakefile.lean
@@ -7,7 +7,7 @@ package «auto» {
 }
 
 require std from git
-  "https://github.com/leanprover/std4.git"@"main"
+  "https://github.com/leanprover/std4.git"@"3959bc5de5142d06d7673ec091d406e5abe45bf0"
 
 @[default_target]
 lean_lib «Auto» {