update mathlib

ImperialCollegeLondon · Oct 16, 2024 · beaec6e · beaec6e
1 parent 6bd8d41
commit beaec6e
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": "b731e84cb99d738b8d9710a0ba02bf8ec8d7fd26",
+ "rev": "422d1a5f608fccafeddab9748e8038ef346b59bf",
  "name": "batteries",
  "manifestFile": "lake-manifest.json",
  "inputRev": "main",
@@ -65,7 +65,7 @@
  "type": "git",
  "subDir": null,
  "scope": "leanprover-community",
- "rev": "4b61d4abc1659f15ffda5ec24fdebc229d51d066",
+ "rev": "7bedaed1ef024add1e171cc17706b012a9a37802",
  "name": "LeanSearchClient",
  "manifestFile": "lake-manifest.json",
  "inputRev": "main",
@@ -75,7 +75,7 @@
  "type": "git",
  "subDir": null,
  "scope": "",
- "rev": "765ccc9135f3ebeec047798d6c715dc3224c0c73",
+ "rev": "ebec1b61db40c3352391654316f3644e268fee46",
  "name": "mathlib",
  "manifestFile": "lake-manifest.json",
  "inputRev": null,