diff --git a/server/lakefile.lean b/server/lakefile.lean
index 24cbc76..4a96578 100644
--- a/server/lakefile.lean
+++ b/server/lakefile.lean
@@ -4,7 +4,8 @@ open Lake DSL
 package GameServer
 
 -- Using this assumes that each dependency has a tag of the form `v4.X.0`.
-def leanVersion : String := s!"v{Lean.versionString}"
+-- def leanVersion : String := s!"v{Lean.versionString}"
+def leanVersion := "v4.6.0" -- TODO
 
 require std from git "https://github.com/leanprover/std4.git" @ leanVersion
 require i18n from git "https://github.com/hhu-adam/lean-i18n.git" @ leanVersion
diff --git a/server/lean-toolchain b/server/lean-toolchain
index 5026204..f96d662 100644
--- a/server/lean-toolchain
+++ b/server/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.6.0
+leanprover/lean4:v4.6.1