Merge branch 'level-rewrite' of github.com:hhu-adam/NNG4 into level-r…

…ewrite
leanprover-community · Sep 25, 2023 · 0249d2e · 0249d2e
2 parents f07062e + 622fbfb
commit 0249d2e
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -44,10 +44,10 @@
   {"git":
    {"url": "https://github.com/leanprover-community/lean4game.git",
     "subDir?": "server",
-    "rev": "b01dd1de6e4179f4134b1aa0991c112f5b7e1bbe",
+    "rev": "c50517b5e6d411d1b7947df8505326b8d70fcb5b",
     "opts": {},
     "name": "GameServer",
-    "inputRev?": "b01dd1de6e4179f4134b1aa0991c112f5b7e1bbe",
+    "inputRev?": "c50517b5e6d411d1b7947df8505326b8d70fcb5b",
     "inherited": false}},
   {"git":
    {"url": "https://github.com/leanprover/std4",

diff --git a/lakefile.lean b/lakefile.lean
@@ -8,7 +8,7 @@ def LocalGameServer : Dependency := {
 
 def RemoteGameServer : Dependency := {
   name := `GameServer
-  src := Source.git "https://github.com/leanprover-community/lean4game.git" "b01dd1de6e4179f4134b1aa0991c112f5b7e1bbe" "server"
+  src := Source.git "https://github.com/leanprover-community/lean4game.git" "c50517b5e6d411d1b7947df8505326b8d70fcb5b" "server"
 }
 
 /- Choose dependency depending on the environment variable NODE_ENV -/