update mathlib

dwrensha · Dec 25, 2024 · c735ad2 · c735ad2
1 parent 72a31ea
commit c735ad2
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": "",
-   "rev": "d49e62e1de08c208a407a0f91896e08e7d91481d",
+   "rev": "e50bf828a98777e06615a11174b3e4b3f3fc70b9",
    "name": "tryAtEachStep",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d4736a1fb2613cc1c6eac9321e0471f744ff3551",
+   "rev": "4cf0d3f8fc16079e0c39e7ebd9691f6097cd69b2",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -35,7 +35,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "d7caecce0d0f003fd5e9cce9a61f1dd6ba83142b",
+   "rev": "003ff459cdd85de551f4dcf95cdfeefe10f20531",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",