gameServer/hedgewars-server.cabal
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,