gameServer/hedgewars-server.cabal
branch0.9.23
changeset 12864 73ebc894a725
parent 12788 8aa82e350b8e
child 13418 bb24c3414b0d
equal deleted inserted replaced
12850:b148eefe45c1 12864:73ebc894a725
    32     deepseq,
    32     deepseq,
    33     utf8-string,
    33     utf8-string,
    34     SHA,
    34     SHA,
    35     entropy,
    35     entropy,
    36     zlib >= 0.5.3 && < 0.6,
    36     zlib >= 0.5.3 && < 0.6,
    37     regex-tdfa
    37     regex-tdfa,
       
    38     binary >= 0.8.5.1
    38 
    39 
    39   if !os(windows)
    40   if !os(windows)
    40     build-depends: unix
    41     build-depends: unix
    41 
    42 
    42   ghc-options: -O2
    43   ghc-options: -O2