gameServer/hedgewars-server.cabal
changeset 5037 1edc06d2247c
parent 5030 42746c5d4a80
child 5077 7915668502a6
--- a/gameServer/hedgewars-server.cabal	Mon Mar 21 21:23:39 2011 +0300
+++ b/gameServer/hedgewars-server.cabal	Mon Mar 21 21:38:44 2011 +0300
@@ -25,7 +25,7 @@
     network,
     time,
     stm,
-    mtl,
+    mtl >= 2,
     dataenc,
     hslogger,
     process,