Merge pull request #763 from lean-ja/auto-update/patch-c0zdmp1

Updates available and ready to merge.
lean-ja · Sep 9, 2024 · 1cd2e2e · 1cd2e2e
2 parents ff95144 + f09c1b4
commit 1cd2e2e
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "7d99b9c7ce00ad4c59bb06060e1a19b2e1cc7f57",
+   "rev": "17d740e27b5e2276afd03ed8f09f6e8ee6e84a97",
    "name": "«mk-exercise»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "b6ca4bba32cdfa94c98bd8598397d9c3888d68c0",
+   "rev": "a6f34a4da30b8284ab295da918022b51b68f7e13",
    "name": "mdgen",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -85,7 +85,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "19b4c40bc454221b94bcaeb093d849639273e6cc",
+   "rev": "0c4fd28f40011b35f5344cd35e9f2a759fdbe045",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",