gameServer/hedgewars-server.cabal
branchserver_refactor
changeset 4597 31e042ab870c
parent 3671 a94d1dc4a8d9
child 4904 0eab727d4717
equal deleted inserted replaced
4595:cd4433b44920 4597:31e042ab870c
    25     time,
    25     time,
    26     stm,
    26     stm,
    27     mtl,
    27     mtl,
    28     dataenc,
    28     dataenc,
    29     hslogger,
    29     hslogger,
    30     process
    30     process,
    31   
    31     deepseq
       
    32 
    32   ghc-options: -O2
    33   ghc-options: -O2