changeset 14991 | 6b5efc690472 |
parent 14341 | f081a984da28 |
child 15721 | 27eb5abd5058 |
--- a/gameServer/hedgewars-server.cabal Wed May 15 20:40:37 2019 +0200 +++ b/gameServer/hedgewars-server.cabal Thu May 16 00:17:49 2019 +0200 @@ -22,7 +22,7 @@ containers, vector, bytestring, - network >= 2.3, + network >= 2.3 && < 3.0, random, time, mtl >= 2, @@ -57,7 +57,7 @@ containers, vector, bytestring, - network >= 2.3, + network >= 2.3 && < 3.0, mtl >= 2, sandi, hslogger,