temporarily use fork of lean4-cli

lake-manifest.json

@@ -1,25 +1,25 @@
 {"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages":
- [{"url": "https://github.com/leanprover/lean4-cli",
+ [{"url": "https://github.com/kim-em/lean4-cli.git",
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "2cf1030dc2ae6b3632c84a09350b675ef3e347d0",
+   "rev": "c073a1cf84e32d191dfa5e1477d215f3cd6d2bde",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "main",
+   "inputRev": "nightly",
    "inherited": false,
    "configFile": "lakefile.toml"},
   {"url": "https://github.com/leanprover-community/batteries",
    "type": "git",
    "subDir": null,
    "scope": "leanprover-community",
-   "rev": "389fb58a2ff92e1ede0db37b1fedcb9a6162df94",
+   "rev": "6537a38dc29c61ca0cc2fd6061bb800e654397ae",
    "name": "batteries",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly-testing",
    "inherited": false,
-   "configFile": "lakefile.lean"}],
+   "configFile": "lakefile.toml"}],
  "name": "importGraph",
  "lakeDir": ".lake"}

lakefile.toml

@@ -9,7 +9,8 @@ testRunner = "ImportGraphTest"
 [[require]]
 name = "Cli"
 scope = "leanprover"
-rev = "main"
+git = "https://github.com/kim-em/lean4-cli.git"
+rev = "nightly"
 
 [[require]]
 name = "batteries"