gameServer/hedgewars-server.cabal
changeset 11860 ad435d95ca4b
parent 11859 0b8f2116aa26
child 12756 838515c4e6c5
--- a/gameServer/hedgewars-server.cabal	Sat Oct 01 20:56:42 2016 +0300
+++ b/gameServer/hedgewars-server.cabal	Sat Oct 01 21:27:05 2016 +0300
@@ -25,7 +25,7 @@
     random,
     time,
     mtl >= 2,
-    dataenc,
+    sandi,
     hslogger,
     process,
     deepseq,