gameServer/hedgewars-server.cabal
Sun, 11 Feb 2024 20:33:15 +0100 Vekhir Revive cabal build of the game server
Sat, 05 Nov 2022 17:48:45 +0100 Sergey Alirzaev GameServer: bump network dependency
Wed, 08 Jul 2020 17:02:45 +0300 Jens Petersen update server network
less more (0) -30 -10 -3 tip