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

reflect server structure change

Browse Source
This commit is contained in:
Jon Eugster
2023-04-26 01:37:17 +02:00
parent 70ba2cae73
commit a4f85ad4eb
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

@@ -21,8 +21,8 @@
"inputRev?": "master"}}, "inputRev?": "master"}},
{"git": {"git":
{"url": "https://github.com/leanprover-community/lean4game.git", {"url": "https://github.com/leanprover-community/lean4game.git",
"subDir?": "server/leanserver", "subDir?": "server",
"rev": "9fa94ecc5ca1c398479fb6026b03fcac46928bd7", "rev": "8246ae6eac0f8a88f962ccd645aa3cfaa8e8c177",
"name": "GameServer", "name": "GameServer",
"inputRev?": "main"}}, "inputRev?": "main"}},
{"git": {"git":

2
lakefile.lean
View File

@@ -2,7 +2,7 @@ import Lake
open Lake DSL open Lake DSL
require GameServer from git require GameServer from git
"https://github.com/leanprover-community/lean4game.git"@"main"/"server"/"leanserver" "https://github.com/leanprover-community/lean4game.git"@"main"/"server"
require mathlib from git require mathlib from git
"https://github.com/leanprover-community/mathlib4.git" @ "fc4a489c2af75f687338fe85c8901335360f8541" "https://github.com/leanprover-community/mathlib4.git" @ "fc4a489c2af75f687338fe85c8901335360f8541"