From 120a81d25ec219302269ba52c1cc47e152877a0d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Henrik=20B=C3=B6ving?= <hargonix@gmail.com>
Date: Thu, 20 Oct 2022 19:53:02 +0200
Subject: [PATCH] chore: upgrade dependencies

---
 lean_packages/manifest.json | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

diff --git a/lean_packages/manifest.json b/lean_packages/manifest.json
index 81b92ee..5daf74a 100644
--- a/lean_packages/manifest.json
+++ b/lean_packages/manifest.json
@@ -1,22 +1,22 @@
 {"version": 2,
  "packages":
  [{"url": "https://github.com/mhuisi/lean4-cli",
-   "rev": "80b783a8905a4e8a29ced841abb64f710bc86f06",
+   "rev": "b88b0ab3ad5f1352d107d3e8740ff15dc1fbb5b1",
    "name": "Cli",
    "inputRev": "nightly"},
   {"url": "https://github.com/hargonix/LeanInk",
-   "rev": "439303af06465824588a486f5f9c023ca69979f3",
+   "rev": "9f3101452135964ac9107ec8e9910bfd14022bbc",
    "name": "leanInk",
    "inputRev": "doc-gen"},
   {"url": "https://github.com/xubaiw/Unicode.lean",
-   "rev": "3a74ad4a69a3720ad8bd5f50a3233fe393f3f38e",
+   "rev": "6dd6ae3a3839c8350a91876b090eda85cf538d1d",
    "name": "Unicode",
    "inputRev": "main"},
   {"url": "https://github.com/leanprover/lake",
-   "rev": "2cc00e4e08473939842d823fd753dcac891ab709",
+   "rev": "c5a8ec5bc5d160da0aef5084a7257df9e653cbe7",
    "name": "lake",
    "inputRev": "master"},
   {"url": "https://github.com/xubaiw/CMark.lean",
-   "rev": "8c0f9c1b16ee8047813f43b1f92de471782114ff",
+   "rev": "2cc7cdeef67184f84db6731450e4c2b258c28fe8",
    "name": "CMark",
    "inputRev": "main"}]}