From e859e2f777521f82050b8f28e0205491a4ead0f5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Sun, 5 Nov 2023 09:59:30 +0100
Subject: [PATCH] chore: update dependencies

---
 lake-manifest.json | 11 ++++++-----
 lakefile.lean      |  2 +-
 2 files changed, 7 insertions(+), 6 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 697d027..edbc3db 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -1,4 +1,4 @@
-{"version": 5,
+{"version": 6,
  "packagesDir": "lake-packages",
  "packages":
  [{"git":
@@ -12,15 +12,15 @@
   {"git":
    {"url": "https://github.com/fgdorais/lean4-unicode-basic",
     "subDir?": null,
-    "rev": "f09250282cea3ed8c010f430264d9e8e50d7bc32",
+    "rev": "4ecf4f1f98d14d03a9e84fa1c082630fa69df88b",
     "opts": {},
-    "name": "«lean4-unicode-basic»",
+    "name": "UnicodeBasic",
     "inputRev?": "main",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/mhuisi/lean4-cli",
     "subDir?": null,
-    "rev": "5a858c32963b6b19be0d477a30a1f4b6c120be7e",
+    "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
     "opts": {},
     "name": "Cli",
     "inputRev?": "nightly",
@@ -32,4 +32,5 @@
     "opts": {},
     "name": "leanInk",
     "inputRev?": "doc-gen",
-    "inherited": false}}]}
+    "inherited": false}}],
+ "name": "«doc-gen4»"}
diff --git a/lakefile.lean b/lakefile.lean
index 9757492..a062dcc 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -14,7 +14,7 @@ lean_exe «doc-gen4» {
 require CMark from git
   "https://github.com/xubaiw/CMark.lean" @ "main"
 
-require «lean4-unicode-basic» from git
+require «UnicodeBasic» from git
   "https://github.com/fgdorais/lean4-unicode-basic" @ "main"
 
 require Cli from git