Merge pull request #44 from lean-ja/auto-update/patch-0sokk1w

Updates available and ready to merge
lean-ja · Oct 17, 2024 · b9200cf · b9200cf
2 parents 64a91f1 + 0c2b3f5
commit b9200cf
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -21,16 +21,6 @@
    "inputRev": "main",
    "inherited": true,
    "configFile": "lakefile.toml"},
-  {"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,