gameServer/hedgewars-server.cabal
branchhedgeroid
changeset 6224 42b256eca362
parent 6191 190a8e5d9956
child 7751 8c7f5c43ea5e
equal deleted inserted replaced
6055:88cfcd9161d3 6224:42b256eca362
    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