bump

leanprover-community · Sep 10, 2024 · 9c0eac9 · 9c0eac9
1 parent 190acb7
commit 9c0eac9
Showing 1 changed file with 2 additions and 2 deletions.
diff --git 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,