From 347d85e1a0217c9e66d91dc1888addecfdce3b00 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]"
 <41898282+github-actions[bot]@users.noreply.github.com>
Date: Thu, 31 Oct 2024 10:39:11 +0100
Subject: [PATCH] [create-pull-request] automated change (#25)

Co-authored-by: pitmonticone <38562595+pitmonticone@users.noreply.github.com>
---
 lake-manifest.json | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/lake-manifest.json b/lake-manifest.json
index 59372ee..d6b3fd4 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "85f6511d93f9e6a8188ec9985c82f08f65c26cae",
+   "rev": "500a529408399c44d7e1649577e3c98697f95aa4",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "0ea83a676d288220ba227808568cbb80fe43ace0",
+   "rev": "c1970bea80ac3357a6a991a6d00d12e7435c12c7",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,7 +75,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "9fc60c1ad982f142d6d0671bef8f4cda3b1590cd",
+   "rev": "348232e527e0363cd27a7a49302dad2de3817be6",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,