greg/NNG
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

bump gameserver

Browse Source
This commit is contained in:
Jon Eugster
2023-08-04 19:39:26 +02:00
parent 2e84949f8a
commit 134d5cc029
2 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
lake-manifest.json
View File

@@ -34,9 +34,9 @@
{"git":
{"url": "https://github.com/leanprover-community/lean4game.git",
"subDir?": "server",
"rev": "f5eb185eb22d6ff3ade9639a2c818a0dc6abc930",
"rev": "5072dacf947d4f682e14a56816eb10f9e46d7203",
"name": "GameServer",
"inputRev?": "f5eb185eb22d6ff3ade9639a2c818a0dc6abc930"}},
"inputRev?": "5072dacf947d4f682e14a56816eb10f9e46d7203"}},
{"git":
{"url": "https://github.com/leanprover/std4",
"subDir?": null,

2
lakefile.lean
View File

@@ -8,7 +8,7 @@ def LocalGameServer : Dependency := {
def RemoteGameServer : Dependency := {
name := `GameServer
src := Source.git "https://github.com/leanprover-community/lean4game.git" "f5eb185eb22d6ff3ade9639a2c818a0dc6abc930" "server"
src := Source.git "https://github.com/leanprover-community/lean4game.git" "5072dacf947d4f682e14a56816eb10f9e46d7203" "server"
}
/- Choose dependency depending on the environment variable NODE_ENV -/