bump to

leanprover/lean4:v4.6.1
T-Brick · Mar 17, 2024 · 0d10bb8 · 0d10bb8
1 parent ddb58f9
commit 0d10bb8
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,10 +4,10 @@
  [{"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "a7543d1a6934d52086971f510e482d743fe30cf3",
+   "rev": "c6953718e13e87e59b7276eb5ce8d26427d5b93d",
    "name": "std",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.6.0",
+   "inputRev": "v4.6.1",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "numbers",

diff --git a/lakefile.lean b/lakefile.lean
@@ -14,4 +14,4 @@ lean_exe numbers {
   root := `Main
 }
 
-require std from git "https://github.com/leanprover/std4" @ "v4.6.0"
+require std from git "https://github.com/leanprover/std4" @ "v4.6.1"
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.6.0
+leanprover/lean4:v4.6.1