# HG changeset patch
# User koda
# Date 1369691187 -7200
# Node ID 236710128077ef554a2df6e3b5490a61bdf95cca
# Parent  041d9f5e7b2c30f632c1236a27d7795125dc1893
add 'random' dependency to server .cabal file (please test)

diff -r 041d9f5e7b2c -r 236710128077 gameServer/hedgewars-server.cabal
--- a/gameServer/hedgewars-server.cabal	Mon May 27 16:56:44 2013 -0400
+++ b/gameServer/hedgewars-server.cabal	Mon May 27 23:46:27 2013 +0200
@@ -22,6 +22,7 @@
     bytestring,
     bytestring-show,
     network >= 2.3,
+    random,
     time,
     mtl >= 2,
     dataenc,