From f5fdc84a73cb6c61d085adef563c926c1f04b858 Mon Sep 17 00:00:00 2001
From: josojo <josojo@hotmail.de>
Date: Mon, 14 Oct 2024 20:49:43 +0200
Subject: [PATCH] using the right commit hashes for quote4 and aesop for Lean
 (version 4.9.0-rc1)

---
 lake-manifest.json | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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",