gameServer/hedgewars-server.cabal
branch0.9.19
changeset 9081 7f04ad2cda54
parent 9065 236710128077
child 9127 e350500c4edb
--- a/gameServer/hedgewars-server.cabal	Sun Apr 21 01:36:08 2013 +0200
+++ b/gameServer/hedgewars-server.cabal	Wed May 29 22:52:37 2013 +0400
@@ -22,6 +22,7 @@
     bytestring,
     bytestring-show,
     network >= 2.3,
+    random,
     time,
     mtl >= 2,
     dataenc,