From 69d48b174dbe404f37fe7e572de12f0c21992729 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Tue, 22 Nov 2022 21:21:09 +0100
Subject: [PATCH] chore: update toolchain

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

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",