gameServer/hedgewars-server.cabal
branch0.9.21
changeset 10765 7e55468ffe38
parent 10258 4b7aa967f1e7
child 11843 8f730ba4ca3c
equal deleted inserted replaced
10762:a017ec64f675 10765:7e55468ffe38
    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