gameServer/hedgewars-server.cabal
changeset 4974 078cd026a7b1
parent 4904 0eab727d4717
child 5030 42746c5d4a80
equal deleted inserted replaced
4973:53411a26df7e 4974:078cd026a7b1
    26     stm,
    26     stm,
    27     mtl,
    27     mtl,
    28     dataenc,
    28     dataenc,
    29     hslogger,
    29     hslogger,
    30     process,
    30     process,
    31     deepseq
    31     deepseq,
       
    32     tconfig
    32 
    33 
    33   ghc-options: -O2
    34   ghc-options: -O2