From 5679be6bbce5093dd3b305b74d68ed3b7ceca773 Mon Sep 17 00:00:00 2001
From: Xubai Wang <self@xubai.wang>
Date: Thu, 17 Feb 2022 08:54:06 +0800
Subject: [PATCH] chore: bump lean version update cmark version

---
 lakefile.lean  | 2 +-
 lean-toolchain | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/lakefile.lean b/lakefile.lean
index 77e34d7..ba2f386 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -7,7 +7,7 @@ package «doc-gen4» {
   dependencies := #[
     {
       name := `CMark
-      src := Source.git "https://github.com/xubaiw/CMark.lean" "925f2ab"
+      src := Source.git "https://github.com/xubaiw/CMark.lean" "0c59e4f"
     }
   ]
 }
diff --git a/lean-toolchain b/lean-toolchain
index 4b598af..7c2b6c2 100644
--- a/lean-toolchain
+++ b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2022-02-11
+leanprover/lean4:nightly-2022-02-17