gameServer/hedgewars-server.cabal
changeset 6191 190a8e5d9956
parent 5086 df5bd3c32e19
child 7751 8c7f5c43ea5e
equal deleted inserted replaced
6190:1db2486e45f4 6191:190a8e5d9956
    25     time,
    25     time,
    26     mtl >= 2,
    26     mtl >= 2,
    27     dataenc,
    27     dataenc,
    28     hslogger,
    28     hslogger,
    29     process,
    29     process,
    30     deepseq
    30     deepseq,
       
    31     utf8-string
    31 
    32 
    32   ghc-options: -O2
    33   ghc-options: -O2