Merge pull request #9 from lean-ja/auto-update/patch-laevu6c

Updates available and ready to merge
lean-ja · Feb 13, 2025 · 3cca10b · 3cca10b
2 parents 396be2d + 3cdf2bf
commit 3cca10b
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -5,7 +5,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "acdf3213f3a9d3a5c22d7061b3a3adb20dcfc7ea",
+   "rev": "6b445092688058c6dd98784d607aa80ee95e0465",
    "name": "mdgen",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -15,7 +15,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "d0f3f20e087f980c83ac3a167aeeae6e55d1c417",
+   "rev": "bf8c965bb0099827808d257e372db530fec60f70",
    "name": "mathlib",
    "manifestFile": "lake-manifest.json",
    "inputRev": "master",
@@ -25,7 +25,7 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "468ad582c62c9e9930a605c04f0a2db585bf0da4",
+   "rev": "f487825e2ae899b903cafb7b02fbf58944bf2932",
    "name": "«mk-exercise»",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -55,7 +55,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "003ff459cdd85de551f4dcf95cdfeefe10f20531",
+   "rev": "0c169a0d55fef3763cfb3099eafd7b884ec7e41d",
    "name": "LeanSearchClient",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -65,7 +65,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "5013810061a18ca1f5510106172b94c6fbd0a2fc",
+   "rev": "461b96f5527089718cb23d3f1fd2960a5d0ff516",
    "name": "importGraph",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",
@@ -75,10 +75,10 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "8fff3f074da9237cd4e179fd6dd89be6c4022d41",
+   "rev": "322a050322e97b0a701588d9b1efbe2bee7f8527",
    "name": "proofwidgets",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "v0.0.52-pre",
+   "inputRev": "v0.0.52-pre2",
    "inherited": true,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/leanprover-community/aesop",
@@ -105,7 +105,7 @@
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "3766e2340b4f89b1173910f0161ca8eded9b0902",
+   "rev": "b18855cb0f9a19bd4d7e21f3e5525272e377f431",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",