chore: bump Cli (#8103)

Sorry, my previous PR updated the `lakefile.lean` but not the manifest, and so is giving everyone `lake update` warnings. :-( Co-authored-by: Scott Morrison <[email protected]>
leanprover-community · Nov 2, 2023 · 8666bd8 · 8666bd8
1 parent 3831ec3
commit 8666bd8
Showing 1 changed file with 8 additions and 8 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -25,20 +25,20 @@
     "name": "aesop",
     "inputRev?": "master",
     "inherited": false}},
-  {"git":
-   {"url": "https://github.com/leanprover/lean4-cli",
-    "subDir?": null,
-    "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
-    "opts": {},
-    "name": "Cli",
-    "inputRev?": "nightly",
-    "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover-community/ProofWidgets4",
     "subDir?": null,
     "rev": "f1a5c7808b001305ba07d8626f45ee054282f589",
     "opts": {},
     "name": "proofwidgets",
     "inputRev?": "v0.0.21",
+    "inherited": false}},
+  {"git":
+   {"url": "https://github.com/leanprover/lean4-cli",
+    "subDir?": null,
+    "rev": "a751d21d4b68c999accb6fc5d960538af26ad5ec",
+    "opts": {},
+    "name": "Cli",
+    "inputRev?": "main",
     "inherited": false}}],
  "name": "mathlib"}