move back to Cli nightly

leanprover-community · Oct 28, 2024 · 3e60348 · 3e60348
1 parent 6c58712
commit 3e60348
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git 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
@@ -9,7 +9,6 @@ testRunner = "ImportGraphTest"
 [[require]]
 name = "Cli"
 scope = "leanprover"
-git = "https://github.com/kim-em/lean4-cli.git"
 rev = "nightly"
 
 [[require]]