chore: update dependencies

leanprover · Aug 20, 2024 · b5c5982 · b5c5982
1 parent cc93eea
commit b5c5982
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5c11428272fe190b7e726ebe448f93437d057b74",
+   "rev": "9447739fe9714f8a091192bad5cd5e7b5a8ae1e4",
    "name": "UnicodeBasic",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "bd8747df9ee72fca365efa5bd3bd0d8dcd083b9f",
+   "rev": "c138ab5c566c4268798b24bfcbea2f4c42413cdd",
    "name": "BibtexQuery",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",