gameServer/hedgewars-server.cabal
changeset 10076 b235e520ea21
parent 10046 cad4cabe79ca
child 10092 a92a4ba39a79
equal deleted inserted replaced
10075:dbaf90a0fbe0 10076:b235e520ea21
    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     utf8-string,
       
    32     SHA,
       
    33     entropy
    32 
    34 
    33   ghc-options: -O2
    35   ghc-options: -O2