gameServer/hedgewars-server.cabal
branchwebgl
changeset 9127 e350500c4edb
parent 7975 1a8308265fdd
parent 9065 236710128077
child 10015 4feced261c68
--- a/gameServer/hedgewars-server.cabal	Thu Apr 04 14:37:19 2013 +0200
+++ b/gameServer/hedgewars-server.cabal	Tue Jun 04 22:28:12 2013 +0200
@@ -21,6 +21,7 @@
     bytestring,
     bytestring-show,
     network >= 2.3,
+    random,
     time,
     mtl >= 2,
     dataenc,