First run of update_mathlib

teorth · Nov 14, 2023 · 04a7b8a · 04a7b8a
1 parent 541b741
commit 04a7b8a
Showing 1 changed file with 38 additions and 6 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,15 +4,23 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,
-    "rev": "9c97b764b9ddae64ad15fc0ada681f1c67462d2d",
+    "rev": "e004ac1c1671d5707be47269eadabd0acf99e461",
     "opts": {},
     "name": "mathlib",
     "inputRev?": null,
     "inherited": false}},
+  {"git":
+   {"url": "https://github.com/leanprover/doc-gen4",
+    "subDir?": null,
+    "rev": "96147eaa0c066a95210fe5518c987e77be034b9f",
+    "opts": {},
+    "name": "«doc-gen4»",
+    "inputRev?": "main",
+    "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "fb07d160aff0e8bdf403a78a5167fc7acf9c8227",
+    "rev": "870810643364834bcdc93d791faa6f6de481dfa6",
     "opts": {},
     "name": "std",
     "inputRev?": "main",
@@ -28,7 +36,7 @@
   {"git":
    {"url": "https://github.com/leanprover-community/aesop",
     "subDir?": null,
-    "rev": "cb87803274405db79ec578fc07c4730c093efb90",
+    "rev": "bf5ab42a58e71de7ebad399ce3f90d29aae7fca9",
     "opts": {},
     "name": "aesop",
     "inputRev?": "master",
@@ -44,9 +52,33 @@
   {"git":
    {"url": "https://github.com/leanprover-community/ProofWidgets4",
     "subDir?": null,
-    "rev": "f1a5c7808b001305ba07d8626f45ee054282f589",
+    "rev": "c3b9f0d4ebedc43635d3f7e764e277b1010844b7",
     "opts": {},
     "name": "proofwidgets",
-    "inputRev?": "v0.0.21",
+    "inputRev?": "v0.0.22",
+    "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/fgdorais/lean4-unicode-basic",
+    "subDir?": null,
+    "rev": "4ecf4f1f98d14d03a9e84fa1c082630fa69df88b",
+    "opts": {},
+    "name": "UnicodeBasic",
+    "inputRev?": "main",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/hargonix/LeanInk",
+    "subDir?": null,
+    "rev": "2447df5cc6e48eb965c3c3fba87e46d353b5e9f1",
+    "opts": {},
+    "name": "leanInk",
+    "inputRev?": "doc-gen",
     "inherited": true}}],
- "name": "pfr"}
+ "name": "PFR"}