phc
/
lean4game
6
1
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

bump to v4.6.1

Browse Source
pull/205/head v4.6.1
Jon Eugster 2 years ago
parent 9bc0a3de46
commit fa4ae5672d
2 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File

3
server/lakefile.lean
Unescape Escape View File

@ -4,7 +4,8 @@ open Lake DSL
package GameServer package GameServer
-- Using this assumes that each dependency has a tag of the form `v4.X.0`. -- 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 std from git "https://github.com/leanprover/std4.git" @ leanVersion
require i18n from git "https://github.com/hhu-adam/lean-i18n.git" @ leanVersion require i18n from git "https://github.com/hhu-adam/lean-i18n.git" @ leanVersion

2
server/lean-toolchain
Unescape Escape View File

@ -1 +1 @@
leanprover/lean4:v4.6.0 leanprover/lean4:v4.6.1

Write Preview
Loading…
Cancel
Save