gameServer/hedgewars-server.cabal
changeset 10092 a92a4ba39a79
parent 10076 b235e520ea21
child 10257 649f1231cd70
equal deleted inserted replaced
10091:213c38232b3d 10092:a92a4ba39a79
    28     hslogger,
    28     hslogger,
    29     process,
    29     process,
    30     deepseq,
    30     deepseq,
    31     utf8-string,
    31     utf8-string,
    32     SHA,
    32     SHA,
    33     entropy
    33     entropy,
       
    34     zlib
    34 
    35 
    35   ghc-options: -O2
    36   ghc-options: -O2