From de259350499007908ee17006ea6392c886c39572 Mon Sep 17 00:00:00 2001
From: Gabriel Ebner <gebner@gebner.org>
Date: Fri, 28 Oct 2022 09:24:04 -0700
Subject: [PATCH] chore: bump lean 2022-10-28

---
 lean-toolchain              | 2 +-
 lean_packages/manifest.json | 4 ++--
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/lean-toolchain b/lean-toolchain
index 576ac07bf..0669e0c33 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-10-27
+leanprover/lean4:nightly-2022-10-28
diff --git a/lean_packages/manifest.json b/lean_packages/manifest.json
index a33b756ca..f823b7c74 100644
--- a/lean_packages/manifest.json
+++ b/lean_packages/manifest.json
@@ -1,11 +1,11 @@
 {"version": 2,
  "packages":
  [{"url": "https://github.com/leanprover-community/mathlib4",
-   "rev": "bb3e01e44c6ef6af54dbb40fdf734945445b227c",
+   "rev": "fb1d1c6b2bfeb7530588db4755c8e59f0f9137bf",
    "name": "mathlib",
    "inputRev": "master"},
   {"url": "https://github.com/leanprover/std4",
-   "rev": "f648e43ef696ce1cf7f6ec534ec44c06816380f9",
+   "rev": "439263f585961c94df05c181616b1561063d8f3f",
    "name": "std",
    "inputRev": "main"},
   {"url": "https://github.com/gebner/quote4",