diff --git a/lake-manifest.json b/lake-manifest.json
index 17c475b..9ea149d 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -13,7 +13,7 @@
   {"url": "https://github.com/leanprover-community/quote4",
    "type": "git",
    "subDir": null,
-   "rev": "44f57616b0d9b8f9e5606f2c58d01df54840eba7",
+   "rev": "a7bfa63f5dddbcab2d4e0569c4cac74b2585e2c6",
    "name": "Qq",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",
@@ -22,7 +22,7 @@
   {"url": "https://github.com/leanprover-community/aesop",
    "type": "git",
    "subDir": null,
-   "rev": "f744aab6fc4e06553464e6ae66730a3b14b8e615",
+   "rev": "8a2b60ac1d3e5b6295abc5ca07b9473594c3bcb1",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",