gameServer/hedgewars-server.cabal
changeset 9065 236710128077
parent 7751 8c7f5c43ea5e
child 9127 e350500c4edb
--- 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,