hopefully fix documentation build

fpvandoorn · Jun 9, 2024 · 17b38f1 · 17b38f1
1 parent 823dd5f
commit 17b38f1
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -76,7 +76,7 @@
   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
    "type": "git",
    "subDir": null,
-   "rev": "effd8b8771cfd7ece69db99448168078e113c61f",
+   "rev": "ef8b0ae5d48e7d5f5d538bf8d66f6cdc7daba296",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -94,7 +94,7 @@
   {"url": "https://github.com/leanprover/doc-gen4",
    "type": "git",
    "subDir": null,
-   "rev": "1cae40a2dd0dca57030385ff53d72c3aa7b27f2b",
+   "rev": "4e570fed8c4147bdafbd5eada08503ed307252e0",
    "name": "«doc-gen4»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",