update mathlib

dwrensha · Nov 19, 2023 · 9b42716 · 9b42716
1 parent cdf81df
commit 9b42716
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -22,19 +22,19 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "a76881668efab6e48a4f3333ad7ba894e8095b04",
+   "rev": "bf5ab42a58e71de7ebad399ce3f90d29aae7fca9",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly-testing",
+   "inputRev": "master",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover/lean4-cli",
    "type": "git",
    "subDir": null,
-   "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
+   "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "nightly",
+   "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/ProofWidgets4",
@@ -49,10 +49,10 @@
   {"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git",
    "subDir": null,
-   "rev": "8759327f54e91545b342494a9338dd9a5c196b5b",
+   "rev": "b5586ed7797c0efb81427ebf7d2412e65959dbf6",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "8759327f54e91545b342494a9338dd9a5c196b5b",
+   "inputRev": "b5586ed7797c0efb81427ebf7d2412e65959dbf6",
    "inherited": false,
    "configFile": "lakefile.lean"}],
  "name": "compfiles",

diff --git a/lakefile.lean b/lakefile.lean
@@ -25,4 +25,4 @@ lean_exe checkSolution where
   root := `scripts.checkSolution
   supportInterpreter := true
 
-require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "8759327f54e91545b342494a9338dd9a5c196b5b"
+require mathlib from git "https://github.com/leanprover-community/mathlib4" @ "b5586ed7797c0efb81427ebf7d2412e65959dbf6"