From 5bb533e309df7bf5a35b51b704f633e6d6997d41 Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Mon, 25 Nov 2024 10:55:12 -0500
Subject: [PATCH] Bump the Lean versions in CI.

---
 demos/project/lake-manifest.json                 | 10 +++++-----
 spec/fixtures/example-project/lake-manifest.json |  2 +-
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/demos/project/lake-manifest.json b/demos/project/lake-manifest.json
index edf212fc..03c724d8 100644
--- a/demos/project/lake-manifest.json
+++ b/demos/project/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "af731107d531b39cd7278c73f91c573f40340612",
+   "rev": "44e2d2e643fd2618b01f9a0592d7dcbd3ffa22de",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "93bcfd774f89d3874903cab06abfbf69f327cbd9",
+   "rev": "de91b59101763419997026c35a41432ac8691f15",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ac7b989cbf99169509433124ae484318e953d201",
+   "rev": "119b022b3ea88ec810a677888528e50f8144a26e",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "86d0d0584f5cd165353e2f8a30c455cd0e168ac2",
+   "rev": "d7caecce0d0f003fd5e9cce9a61f1dd6ba83142b",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5f6f83e2925b761c79eb33df90bed65914b42174",
+   "rev": "b9e31e9b11f73ac54f481c8fe732f94d825895a4",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,
diff --git a/spec/fixtures/example-project/lake-manifest.json b/spec/fixtures/example-project/lake-manifest.json
index e4410c92..36dfff3b 100644
--- a/spec/fixtures/example-project/lake-manifest.json
+++ b/spec/fixtures/example-project/lake-manifest.json
@@ -32,7 +32,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "ac7b989cbf99169509433124ae484318e953d201",
+   "rev": "119b022b3ea88ec810a677888528e50f8144a26e",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",