chore: bump mathlib

leanprover-community · May 2, 2024 · fb2b6cf · fb2b6cf
1 parent b0ee56c
commit fb2b6cf
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"url": "https://github.com/leanprover/std4",
    "type": "git",
    "subDir": null,
-   "rev": "e1ed6c8bb71b2f97e298b1d90b7045403ee29884",
+   "rev": "f58165d3d6e0b048d89e56944e98d9054b223d9b",
    "name": "std",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -58,7 +58,7 @@
   {"url": "https://github.com/leanprover-community/mathlib4",
    "type": "git",
    "subDir": null,
-   "rev": "59710fc9d31d8d318d736afe9fe59f17198ba65a",
+   "rev": "d9f149747c04f8bb199b594ef9b689f9bbf038dd",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",