From fa4ae5672d6fc0bcf2335b9a29b8225e54b14466 Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 15 Mar 2024 17:06:59 +0100
Subject: [PATCH] bump to v4.6.1

---
 server/lakefile.lean  | 3 ++-
 server/lean-toolchain | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/server/lakefile.lean b/server/lakefile.lean
index 24cbc768..4a965780 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 50262040..f96d662e 100644
--- a/server/lean-toolchain
+++ b/server/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.6.0
+leanprover/lean4:v4.6.1