diff --git a/lean-toolchain b/lean-toolchain
index 253e244..0669e0c 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-10-20
+leanprover/lean4:nightly-2022-10-28
diff --git a/lean_packages/manifest.json b/lean_packages/manifest.json
index 5daf74a..4f317fa 100644
--- a/lean_packages/manifest.json
+++ b/lean_packages/manifest.json
@@ -13,7 +13,7 @@
    "name": "Unicode",
    "inputRev": "main"},
   {"url": "https://github.com/leanprover/lake",
-   "rev": "c5a8ec5bc5d160da0aef5084a7257df9e653cbe7",
+   "rev": "004034496ef84b21976a940edc65f335340bd2ec",
    "name": "lake",
    "inputRev": "master"},
   {"url": "https://github.com/xubaiw/CMark.lean",