diff --git a/lake-manifest.json b/lake-manifest.json
index 79e7fb9..0efeb3d 100644
--- a/lake-manifest.json
+++ b/lake-manifest.json
@@ -1,22 +1,14 @@
-{"version": 5,
+{"version": 6,
  "packagesDir": "lake-packages",
  "packages":
  [{"git":
-   {"url": "https://github.com/EdAyers/ProofWidgets4",
-    "subDir?": null,
-    "rev": "65bba7286e2395f3163fd0277110578f19b8170f",
+   {"url": "https://github.com/leanprover-community/lean4game.git",
+    "subDir?": "server",
+    "rev": "b70ac78cf77d36b21e3e24a193dd6eb0895163e9",
     "opts": {},
-    "name": "proofwidgets",
-    "inputRev?": "v0.0.16",
-    "inherited": true}},
-  {"git":
-   {"url": "https://github.com/mhuisi/lean4-cli.git",
-    "subDir?": null,
-    "rev": "21dac2e9cc7e3cf7da5800814787b833e680b2fd",
-    "opts": {},
-    "name": "Cli",
-    "inputRev?": "nightly",
-    "inherited": true}},
+    "name": "GameServer",
+    "inputRev?": "main",
+    "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover-community/mathlib4",
     "subDir?": null,
@@ -25,6 +17,14 @@
     "name": "mathlib",
     "inputRev?": "v4.1.0",
     "inherited": false}},
+  {"git":
+   {"url": "https://github.com/mhuisi/lean4-cli.git",
+    "subDir?": null,
+    "rev": "21dac2e9cc7e3cf7da5800814787b833e680b2fd",
+    "opts": {},
+    "name": "Cli",
+    "inputRev?": "nightly",
+    "inherited": true}},
   {"git":
    {"url": "https://github.com/gebner/quote4",
     "subDir?": null,
@@ -41,14 +41,6 @@
     "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,
@@ -56,4 +48,13 @@
     "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"}