From 9a36a65c0e11b2c7504c7810d1344a6ab277bc55 Mon Sep 17 00:00:00 2001
From: Joshua Potter <jrpotter2112@gmail.com>
Date: Fri, 15 Dec 2023 16:02:35 -0700
Subject: [PATCH] Update dependencies.

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

diff --git a/lake-manifest.json b/lake-manifest.json
index 40bd115..2ce02d2 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -67,7 +67,7 @@
   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
    "type": "git",
    "subDir": null,
-   "rev": "280d75fdfe7be8eb337be7f1bf8479b4aac09f71",
+   "rev": "dc62b29a26fcc3da545472ab8ad2c98ef3433634",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
   {"url": "https://github.com/jrpotter/bookshelf-doc",
    "type": "git",
    "subDir": null,
-   "rev": "c29c914910af31f82e73cc0ab77d918a6439fb80",
+   "rev": "cfa8d0e042c85e04203646d4b1b3fe99c7f42b11",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",