From 007e03db3b34561493cf17da18de097ffe91025c Mon Sep 17 00:00:00 2001
From: Henrik <hargonix@gmail.com>
Date: Thu, 11 May 2023 22:35:07 +0200
Subject: [PATCH] chore: update toolchain and deps

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

diff --git a/lake-manifest.json b/lake-manifest.json
index aa83d7a..997ae5b 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -28,6 +28,6 @@
   {"git":
    {"url": "https://github.com/fgdorais/lean4-unicode-basic",
     "subDir?": null,
-    "rev": "be1f061688faa1dbb224773c54901661253fb4b8",
+    "rev": "ce508dcd1fd49ba15675861aafd864572a0b8252",
     "name": "UnicodeBasic",
     "inputRev?": "main"}}]}
diff --git a/lean-toolchain b/lean-toolchain
index 03ae79e..a7041bc 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-04-20
+leanprover/lean4:nightly-2023-05-06