gameServer/hedgewars-server.cabal
changeset 10977 b2823ea26631
parent 10258 4b7aa967f1e7
child 11843 8f730ba4ca3c
equal deleted inserted replaced
10976:56f07b52213a 10977:b2823ea26631
    31     process,
    31     process,
    32     deepseq,
    32     deepseq,
    33     utf8-string,
    33     utf8-string,
    34     SHA,
    34     SHA,
    35     entropy,
    35     entropy,
    36     zlib
    36     zlib >= 0.5.3 && < 0.6
    37 
    37 
    38   if !os(windows)
    38   if !os(windows)
    39     build-depends: unix
    39     build-depends: unix
    40 
    40 
    41   ghc-options: -O2
    41   ghc-options: -O2