From f8bbc23b7ac2440aac73ba2a1626082af5d8d592 Mon Sep 17 00:00:00 2001
From: zeramorphic <zeramorphic@proton.me>
Date: Sun, 22 Oct 2023 13:54:29 +0100
Subject: [PATCH] Bump mathlib

Signed-off-by: zeramorphic <zeramorphic@proton.me>
---
 lake-manifest.json | 34 +++++++++++++++++-----------------
 lean-toolchain     |  2 +-
 2 files changed, 18 insertions(+), 18 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 663e1bb950..a35c548b72 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,
-    "rev": "415849560598330933be2c868e5bf63b7d4208af",
+    "rev": "3d8d336f32c45aff67b1da5cc3f5e83b00a93265",
     "opts": {},
     "name": "mathlib",
     "inputRev?": null,
@@ -12,13 +12,21 @@
   {"git":
    {"url": "https://github.com/leanprover/doc-gen4",
     "subDir?": null,
-    "rev": "649e7791fa2e6864bf624aea0c03308598123ec3",
+    "rev": "8bccb92b531248af1b6692d65486e8640c8bcd10",
     "opts": {},
     "name": "«doc-gen4»",
     "inputRev?": "main",
     "inherited": false}},
   {"git":
-   {"url": "https://github.com/gebner/quote4",
+   {"url": "https://github.com/leanprover/std4",
+    "subDir?": null,
+    "rev": "b35ae7244d3372031b56646689117a3e4edf19b7",
+    "opts": {},
+    "name": "std",
+    "inputRev?": "main",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/leanprover-community/quote4",
     "subDir?": null,
     "rev": "a387c0eb611857e2460cf97a8e861c944286e6b2",
     "opts": {},
@@ -26,15 +34,15 @@
     "inputRev?": "master",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/JLimperg/aesop",
+   {"url": "https://github.com/leanprover-community/aesop",
     "subDir?": null,
-    "rev": "4f8b397237411249930791f1cba0a9d2880a02dd",
+    "rev": "9dc4a1097a690216eaa7cf2d2290efd447e60d7a",
     "opts": {},
     "name": "aesop",
     "inputRev?": "master",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/mhuisi/lean4-cli.git",
+   {"url": "https://github.com/leanprover/lean4-cli",
     "subDir?": null,
     "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
     "opts": {},
@@ -42,20 +50,12 @@
     "inputRev?": "nightly",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/EdAyers/ProofWidgets4",
+   {"url": "https://github.com/leanprover-community/ProofWidgets4",
     "subDir?": null,
-    "rev": "65bba7286e2395f3163fd0277110578f19b8170f",
+    "rev": "27715d1daf32b9657dc38cd52172d77b19bde4ba",
     "opts": {},
     "name": "proofwidgets",
-    "inputRev?": "v0.0.16",
-    "inherited": true}},
-  {"git":
-   {"url": "https://github.com/leanprover/std4",
-    "subDir?": null,
-    "rev": "f2df4ab8c0726fce3bafb73a5727336b0c3120ea",
-    "opts": {},
-    "name": "std",
-    "inputRev?": "main",
+    "inputRev?": "v0.0.18",
     "inherited": true}},
   {"git":
    {"url": "https://github.com/xubaiw/CMark.lean",
diff --git a/lean-toolchain b/lean-toolchain
index 400394aaf2..183a307edb 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.2.0-rc1
+leanprover/lean4:v4.2.0-rc4