update GameServer

leanprover-community · Oct 23, 2023 · 1b1fcba · 1b1fcba
1 parent 26512db
commit 1b1fcba
Showing 1 changed file with 24 additions and 23 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -1,14 +1,22 @@
-{"version": 5,
+{"version": 6,
  "packagesDir": "lake-packages",
  "packages":
  [{"git":
-   {"url": "https://github.com/EdAyers/ProofWidgets4",
+   {"url": "https://github.com/leanprover-community/lean4game.git",
+    "subDir?": "server",
+    "rev": "b70ac78cf77d36b21e3e24a193dd6eb0895163e9",
+    "opts": {},
+    "name": "GameServer",
+    "inputRev?": "main",
+    "inherited": false}},
+  {"git":
+   {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
-    "rev": "65bba7286e2395f3163fd0277110578f19b8170f",
+    "rev": "f203f2e0caf1d9ea25b7f2e4b8c2afebd2c6967b",
     "opts": {},
-    "name": "proofwidgets",
-    "inputRev?": "v0.0.16",
-    "inherited": true}},
+    "name": "mathlib",
+    "inputRev?": "v4.1.0",
+    "inherited": false}},
   {"git":
    {"url": "https://github.com/mhuisi/lean4-cli.git",
     "subDir?": null,
@@ -17,14 +25,6 @@
     "name": "Cli",
     "inputRev?": "nightly",
     "inherited": true}},
-  {"git":
-   {"url": "https://github.com/leanprover-community/mathlib4",
-    "subDir?": null,
-    "rev": "f203f2e0caf1d9ea25b7f2e4b8c2afebd2c6967b",
-    "opts": {},
-    "name": "mathlib",
-    "inputRev?": "v4.1.0",
-    "inherited": false}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
     "subDir?": null,
@@ -41,19 +41,20 @@
     "name": "aesop",
     "inputRev?": "master",
     "inherited": true}},
-  {"git":
-   {"url": "https://github.com/leanprover-community/lean4game.git",
-    "subDir?": "server",
-    "rev": "cc4321ff3f7cbf43747114cd56197a1b2bb0c457",
-    "opts": {},
-    "name": "GameServer",
-    "inputRev?": "main",
-    "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
     "rev": "67855403d60daf181775fa1ec63b04e70bcc3921",
     "opts": {},
     "name": "std",
     "inputRev?": "main",
-    "inherited": true}}]}
+    "inherited": true}},
+  {"git":
+   {"url": "https://github.com/EdAyers/ProofWidgets4",
+    "subDir?": null,
+    "rev": "65bba7286e2395f3163fd0277110578f19b8170f",
+    "opts": {},
+    "name": "proofwidgets",
+    "inputRev?": "v0.0.16",
+    "inherited": true}}],
+ "name": "Game"}