gameServer/hedgewars-server.cabal
changeset 14979 4406994969c3
parent 14970 6b5efc690472
child 15699 27eb5abd5058
--- a/gameServer/hedgewars-server.cabal	Thu May 16 21:49:33 2019 +0200
+++ b/gameServer/hedgewars-server.cabal	Thu May 16 22:07:06 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,