Merge pull request #41 from lean-ja/auto-update/patch-iodqfw5

lean-ja · Sep 12, 2024 · 68adf97 · 68adf97
2 parents a0c10a2 + 513bb68
commit 68adf97
Showing 1 changed file with 11 additions and 1 deletion.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -11,11 +11,21 @@
    "inputRev": "lean/v4.10.0",
    "inherited": false,
    "configFile": "lakefile.lean"},
+  {"url": "https://github.com/leanprover/lean4-cli.git",
+   "type": "git",
+   "subDir": null,
+   "scope": "",
+   "rev": "2cf1030dc2ae6b3632c84a09350b675ef3e347d0",
+   "name": "Cli",
+   "manifestFile": "lake-manifest.json",
+   "inputRev": "main",
+   "inherited": true,
+   "configFile": "lakefile.toml"},
   {"url": "https://github.com/Seasawher/mdgen",
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "4118223ed13e82985e41d607c8472c3b2092b8d4",
+   "rev": "a6f34a4da30b8284ab295da918022b51b68f7e13",
    "name": "mdgen",
    "manifestFile": "lake-manifest.json",
    "inputRev": "main",