diff --git a/lake-manifest.json b/lake-manifest.json
index 4496a25..ff29419 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -1,11 +1,11 @@
 {"version": "1.1.0",
  "packagesDir": ".lake/packages",
  "packages":
- [{"url": "https://github.com/kim-em/lean4-cli.git",
+ [{"url": "https://github.com/leanprover/lean4-cli",
    "type": "git",
    "subDir": null,
    "scope": "leanprover",
-   "rev": "c073a1cf84e32d191dfa5e1477d215f3cd6d2bde",
+   "rev": "039d23aebf2ccb980bc86e93179e7e340f99b4f0",
    "name": "Cli",
    "manifestFile": "lake-manifest.json",
    "inputRev": "nightly",
diff --git a/lakefile.toml b/lakefile.toml
index 2f5580f..d2f8ff6 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -9,7 +9,6 @@ testRunner = "ImportGraphTest"
 [[require]]
 name = "Cli"
 scope = "leanprover"
-git = "https://github.com/kim-em/lean4-cli.git"
 rev = "nightly"
 
 [[require]]