let's try this

leanprover-community · Oct 23, 2023 · 17f03b6 · 17f03b6
1 parent 38d7f03
commit 17f03b6
Showing 1 changed file with 26 additions and 26 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -18,45 +18,45 @@
     "inputRev?": "main",
     "inherited": false}},
   {"git":
-   {"url": "https://github.com/leanprover/std4",
-    "subDir?": null,
-    "rev": "d83bd039e6e26efc721cd51929659418ad0329df",
-    "opts": {},
-    "name": "std",
-    "inputRev?": "main",
-    "inherited": true}},
-  {"git":
-   {"url": "https://github.com/leanprover-community/quote4",
+   {"url": "https://github.com/gebner/quote4",
     "subDir?": null,
     "rev": "a387c0eb611857e2460cf97a8e861c944286e6b2",
     "opts": {},
     "name": "Qq",
     "inputRev?": "master",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/leanprover-community/aesop",
+   {"url": "https://github.com/JLimperg/aesop",
     "subDir?": null,
     "rev": "9dc4a1097a690216eaa7cf2d2290efd447e60d7a",
     "opts": {},
     "name": "aesop",
     "inputRev?": "master",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
+   {"url": "https://github.com/mhuisi/lean4-cli.git",
     "subDir?": null,
-    "rev": "f09250282cea3ed8c010f430264d9e8e50d7bc32",
+    "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
     "opts": {},
-    "name": "«lean4-unicode-basic»",
+    "name": "Cli",
+    "inputRev?": "nightly",
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/leanprover/std4",
+    "subDir?": null,
+    "rev": "d83bd039e6e26efc721cd51929659418ad0329df",
+    "opts": {},
+    "name": "std",
     "inputRev?": "main",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/hargonix/LeanInk",
+   {"url": "https://github.com/EdAyers/ProofWidgets4",
     "subDir?": null,
-    "rev": "2447df5cc6e48eb965c3c3fba87e46d353b5e9f1",
+    "rev": "27715d1daf32b9657dc38cd52172d77b19bde4ba",
     "opts": {},
-    "name": "leanInk",
-    "inputRev?": "doc-gen",
-    "inherited": true}}],
+    "name": "proofwidgets",
+    "inputRev?": "v0.0.17",
+    "inherited": true}},
   {"git":
    {"url": "https://github.com/xubaiw/CMark.lean",
     "subDir?": null,
@@ -66,19 +66,19 @@
     "inputRev?": "main",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/leanprover/lean4-cli",
+   {"url": "https://github.com/fgdorais/lean4-unicode-basic",
     "subDir?": null,
-    "rev": "39229f3630d734af7d9cfb5937ddc6b41d3aa6aa",
+    "rev": "f09250282cea3ed8c010f430264d9e8e50d7bc32",
     "opts": {},
-    "name": "Cli",
-    "inputRev?": "nightly",
+    "name": "«lean4-unicode-basic»",
+    "inputRev?": "main",
     "inherited": true}},
   {"git":
-   {"url": "https://github.com/leanprover-community/ProofWidgets4",
+   {"url": "https://github.com/hargonix/LeanInk",
     "subDir?": null,
-    "rev": "27715d1daf32b9657dc38cd52172d77b19bde4ba",
+    "rev": "2447df5cc6e48eb965c3c3fba87e46d353b5e9f1",
     "opts": {},
-    "name": "proofwidgets",
-    "inputRev?": "v0.0.18",
+    "name": "leanInk",
+    "inputRev?": "doc-gen",
     "inherited": true}}],
  "name": "FltRegular"}