Bump mathlib

Signed-off-by: zeramorphic <[email protected]>
leanprover-community · Jan 29, 2024 · 74db597 · 74db597
1 parent a5e5919
commit 74db597
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "d7228c76cf7bffd8cc1d803f6ca82b0bcb4a6488",
+   "rev": "0d0ac1c43e1ec1965e0806af9e7a32999ea31096",
    "name": "std",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -22,7 +22,7 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "2f8ec979f3fa425fc219d635e9aa1487c7b09345",
+   "rev": "24a4e8fea81999723bfc38bebf7adc86c2f26c6c",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -58,7 +58,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4.git",
    "type": "git",
    "subDir": null,
-   "rev": "bc9337e5704b1dfb8d4b95e2fad1cd80ead1200e",
+   "rev": "e463fbf8154f73552b479ac936914648dbfa336f",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
@@ -94,7 +94,7 @@
   {"url": "https://github.com/leanprover/doc-gen4",
    "type": "git",
    "subDir": null,
-   "rev": "b7fad51b87a5f8fb3a238dc820ec40ebfa2a636e",
+   "rev": "94e10377bef4e64820ffd7dcab6affef3304af62",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",