From 9c0eac958ba4a9c734058b03e5b7b53df456b909 Mon Sep 17 00:00:00 2001
From: Riccardo Brasca <riccardo.brasca@gmail.com>
Date: Tue, 10 Sep 2024 10:54:33 +0200
Subject: [PATCH] bump

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

diff --git a/lake-manifest.json b/lake-manifest.json
index 83a69581..a335b9ab 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "8feac540abb781cb1349688c816dc02fae66b49c",
+   "rev": "d11566f4c8ca80dbe87630b606c608274c7380fd",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "5695a9fb1a23bf5bee2f94296c2a99f1459a715d",
+   "rev": "b876d96d65bb1ce2738ec653b7f3b946734c6491",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,