Revert back to leanprover-community/lean4game

alma-n · Jun 30, 2024 · ae9e731 · ae9e731
1 parent 0ab0b84
commit ae9e731
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lakefile.lean b/lakefile.lean
@@ -11,7 +11,7 @@ def LocalGameServer : Dependency := {
 
 def RemoteGameServer : Dependency := {
   name := `GameServer
-  src := Source.git "https://github.com/xhalo32/lean4game.git" "main" "server"
+  src := Source.git "https://github.com/leanprover-community/lean4game.git" leanVersion "server"
 }
 
 /- Choose GameServer dependency depending on the environment variable `LEAN4GAME`. -/