Update lake-manifest.json

leanprover-community · Oct 23, 2023 · 38d7f03 · 38d7f03
1 parent 6216030
commit 38d7f03
Showing 1 changed file with 32 additions and 0 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -9,6 +9,14 @@
     "name": "mathlib",
     "inputRev?": null,
     "inherited": false}},
+  {"git":
+   {"url": "https://github.com/leanprover/doc-gen4",
+    "subDir?": null,
+    "rev": "f9d987567129f422ebd8cfac6a1e6233a06c720b",
+    "opts": {},
+    "name": "«doc-gen4»",
+    "inputRev?": "main",
+    "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
@@ -33,6 +41,30 @@
     "name": "aesop",
     "inputRev?": "master",
     "inherited": true}},
+  {"git":
+   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+    "subDir?": null,
+    "rev": "f09250282cea3ed8c010f430264d9e8e50d7bc32",
+    "opts": {},
+    "name": "«lean4-unicode-basic»",
+    "inputRev?": "main",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/hargonix/LeanInk",
+    "subDir?": null,
+    "rev": "2447df5cc6e48eb965c3c3fba87e46d353b5e9f1",
+    "opts": {},
+    "name": "leanInk",
+    "inputRev?": "doc-gen",
+    "inherited": true}}],
+  {"git":
+   {"url": "https://github.com/xubaiw/CMark.lean",
+    "subDir?": null,
+    "rev": "0077cbbaa92abf855fc1c0413e158ffd8195ec77",
+    "opts": {},
+    "name": "CMark",
+    "inputRev?": "main",
+    "inherited": true}},
   {"git":
    {"url": "https://github.com/leanprover/lean4-cli",
     "subDir?": null,