bump

leanprover-community · Nov 14, 2024 · 94205eb · 94205eb
1 parent 59c9644
commit 94205eb
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "11da075dd931360a652129305eb045e5b1126ffd",
+   "rev": "b100ff2565805e9f30a482788b3fc66937a7f38a",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "39119d25ce6f40a6250b742c6b4e8d9b400af677",
+   "rev": "de91b59101763419997026c35a41432ac8691f15",
    "name": "aesop",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "3597f15bb5cd3e841064f98286c5549b22818a99",
+   "rev": "e3d7d7f053ea862ffb7d1613eff6de0f2e3e8e14",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": null,