bump to v4.6.1

leanprover-community · Mar 15, 2024 · fa4ae56 · fa4ae56
1 parent 9bc0a3d
commit fa4ae56
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -1 +1 @@
-leanprover/lean4:v4.6.0
+leanprover/lean4:v4.6.1