From 8cb5a2ead406c436d5bedcdd991ebc528cb03232 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Thu, 9 Mar 2023 19:41:52 +0100
Subject: [PATCH] chore: update lake

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

diff --git a/lake-manifest.json b/lake-manifest.json
index f8e42d6..96b9f31 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -1,5 +1,5 @@
 {"version": 4,
- "packagesDir": "./lake-packages",
+ "packagesDir": "lake-packages",
  "packages":
  [{"git":
    {"url": "https://github.com/xubaiw/CMark.lean",
@@ -10,7 +10,7 @@
   {"git":
    {"url": "https://github.com/leanprover/lake",
     "subDir?": null,
-    "rev": "d0b530530f14dde97a547b03abf87eee06360d60",
+    "rev": "c2c609b37f200b2c7b59dfcac4eefebd909295e3",
     "name": "lake",
     "inputRev?": "master"}},
   {"git":