diff --git a/lean-toolchain b/lean-toolchain
index cf6398c..042d8d2 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-11-19
+leanprover/lean4:nightly-2022-11-21
diff --git a/lean_packages/manifest.json b/lean_packages/manifest.json
index 4f317fa..7a6d443 100644
--- a/lean_packages/manifest.json
+++ b/lean_packages/manifest.json
@@ -1,7 +1,7 @@
 {"version": 2,
  "packages":
  [{"url": "https://github.com/mhuisi/lean4-cli",
-   "rev": "b88b0ab3ad5f1352d107d3e8740ff15dc1fbb5b1",
+   "rev": "5a858c32963b6b19be0d477a30a1f4b6c120be7e",
    "name": "Cli",
    "inputRev": "nightly"},
   {"url": "https://github.com/hargonix/LeanInk",