bump to leanprover/lean4:v4.6.1

T-Brick · Mar 17, 2024 · 975664e · 975664e
1 parent 0cc6899
commit 975664e
Show file tree

Hide file tree

Showing 4 changed files with 13 additions and 14 deletions.
diff --git a/C0deine/Top.lean b/C0deine/Top.lean
@@ -9,7 +9,7 @@ import Cli
 
 namespace C0deine.Top
 
-def version := "v24.03.0"
+def version := "v24.03.1"
 
 open Cli Directive
 

diff --git a/lake-manifest.json b/lake-manifest.json
@@ -7,7 +7,7 @@
    "rev": "a7543d1a6934d52086971f510e482d743fe30cf3",
    "name": "std",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.6.0",
+   "inputRev": "v4.6.1",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/quote4",
@@ -22,10 +22,10 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "c51fa8ea4de8b203f64929cba19d139e555f9f6b",
+   "rev": "ae76973be902b1da1589b28d10648c4e57333cad",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.6.0",
+   "inputRev": "v4.6.1",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/ProofWidgets4",
@@ -52,22 +52,22 @@
    "rev": "bbcffbcc19d69e13d5eea716283c76169db524ba",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
+   "inputRev": "v4.6.1",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git",
    "subDir": null,
-   "rev": "7ca43cbd6aa34058a1afad8e47190af3ec1f9bdb",
+   "rev": "5bb630b0e53879b30dc48637d83822677a64065b",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v4.6.0",
+   "inputRev": "v4.6.1",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/T-Brick/Numbers",
    "type": "git",
    "subDir": null,
-   "rev": "ddb58f99f65ad9b763953622cbe14cb61cea374c",
+   "rev": "0d10bb889263f126ad690d2ee1b56744c15eaed9",
    "name": "numbers",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -76,7 +76,7 @@
   {"url": "https://github.com/T-Brick/ControlFlow",
    "type": "git",
    "subDir": null,
-   "rev": "ac554e8b503e37b3159db94f0197414f174c2947",
+   "rev": "3398f7039c9c243967054e8010f101ecb98fd186",
    "name": "controlflow",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
   {"url": "https://github.com/T-Brick/lean-wasm",
    "type": "git",
    "subDir": null,
-   "rev": "7a3c5ade246a988f08850cb1bccd4ff7698cd1c9",
+   "rev": "b3cc6ebc52aceb95f0c0f60a30853ae945e7754e",
    "name": "wasm",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",

diff --git a/lakefile.lean b/lakefile.lean
@@ -30,11 +30,10 @@ script js (args : List String) do
   IO.print out.stderr
   return out.exitCode
 
-require mathlib from git
-  "https://github.com/leanprover-community/mathlib4" @ "v4.6.0"
+require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "v4.6.1"
 require Cli from git "https://github.com/mhuisi/lean4-cli" @ "nightly"
 require numbers from git "https://github.com/T-Brick/Numbers" @ "main"
 require controlflow from git "https://github.com/T-Brick/ControlFlow" @ "main"
 require wasm from git "https://github.com/T-Brick/lean-wasm" @ "main"
 
-require importGraph from git "https://github.com/leanprover-community/import-graph" @ "main"
+require importGraph from git "https://github.com/leanprover-community/import-graph" @ "v4.6.1"
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.6.0
+leanprover/lean4:v4.6.1