gameServer/hedgewars-server.cabal
changeset 7751 8c7f5c43ea5e
parent 6191 190a8e5d9956
child 7975 1a8308265fdd
child 9065 236710128077
--- a/gameServer/hedgewars-server.cabal	Sat Oct 13 13:13:15 2012 +0200
+++ b/gameServer/hedgewars-server.cabal	Sat Oct 13 15:45:14 2012 +0400
@@ -18,7 +18,7 @@
     base >= 4.3,
     unix,
     containers,
-    array,
+    vector,
     bytestring,
     bytestring-show,
     network >= 2.3,