From 23eb55fc2200105db554a4d7056191b445b44030 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Fri, 17 Mar 2023 18:11:26 +0100
Subject: [PATCH] chore: update deps further

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index bab0126..d142855 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -10,7 +10,7 @@
   {"git":
    {"url": "https://github.com/leanprover/lake",
     "subDir?": null,
-    "rev": "f59328e3d9b23f0266e40ceb31cb4353d9bf0dae",
+    "rev": "9e00151251d3e550f1ef4b24e59fd0d0419b0602",
     "name": "lake",
     "inputRev?": "master"}},
   {"git":
@@ -28,6 +28,6 @@
   {"git":
    {"url": "https://github.com/fgdorais/lean4-unicode-basic",
     "subDir?": null,
-    "rev": "8851eecfe12ec9afa4fb8fcf55eea994ec12423d",
+    "rev": "0930d561409bc8b36551b22e85575009289e602e",
     "name": "UnicodeBasic",
     "inputRev?": "main"}}]}