pin std to v4.6.0-rc1

leanprover-community · Feb 2, 2024 · 9310520 · 9310520
1 parent aa50f67
commit 9310520
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": "276953b13323ca151939eafaaec9129bf7970306",
    "name": "std",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
+   "inputRev": "v4.6.0-rc1",
    "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"@"v4.6.0-rc1"
 
 @[default_target]
 lean_lib «Auto» {