diff --git a/server/leanserver/lean-toolchain b/server/leanserver/lean-toolchain
index c76d115..5bf01da 100644
--- a/server/leanserver/lean-toolchain
+++ b/server/leanserver/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-01-29
+leanprover/lean4:nightly-2023-02-10
diff --git a/server/testgame/lake-manifest.json b/server/testgame/lake-manifest.json
index 3f13d49..7e990ec 100644
--- a/server/testgame/lake-manifest.json
+++ b/server/testgame/lake-manifest.json
@@ -4,7 +4,7 @@
  [{"git":
    {"url": "https://github.com/leanprover-community/mathlib4.git",
     "subDir?": null,
-    "rev": "774069a73cae9148d941b09c267b465d3f7d7737",
+    "rev": "364f46963851ce41be45328ae127a61ee1070109",
     "name": "mathlib",
     "inputRev?": "master"}},
   {"git":
@@ -16,13 +16,13 @@
   {"git":
    {"url": "https://github.com/JLimperg/aesop",
     "subDir?": null,
-    "rev": "ccff5d4ae7411c5fe741f3139950e8bddf353dea",
+    "rev": "ba61f7fec6174d8c7d2796457da5a8d0b0da44c6",
     "name": "aesop",
     "inputRev?": "master"}},
   {"path": {"name": "GameServer", "dir": "./../leanserver"}},
   {"git":
    {"url": "https://github.com/leanprover/std4",
     "subDir?": null,
-    "rev": "cda27d551340756d5ed6f9b83716a9db799c5537",
+    "rev": "de7e2a79905a3f87cad1ad5bf57045206f9738c7",
     "name": "std",
     "inputRev?": "main"}}]}
diff --git a/server/testgame/lean-toolchain b/server/testgame/lean-toolchain
index c76d115..5bf01da 100644
--- a/server/testgame/lean-toolchain
+++ b/server/testgame/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2023-01-29
+leanprover/lean4:nightly-2023-02-10