equal
deleted
inserted
replaced
3 Synopsis: hedgewars server |
3 Synopsis: hedgewars server |
4 Description: hedgewars server |
4 Description: hedgewars server |
5 Homepage: http://www.hedgewars.org/ |
5 Homepage: http://www.hedgewars.org/ |
6 License: GPL-2 |
6 License: GPL-2 |
7 Author: unC0Rr |
7 Author: unC0Rr |
8 Maintainer: unC0Rr@hedgewars.org |
8 Maintainer: a.korotaev@hedgewars.org |
9 Category: Game |
9 Category: Game |
10 Build-type: Simple |
10 Build-type: Simple |
11 Cabal-version: >=1.10 |
11 Cabal-version: >=1.10 |
12 |
12 |
13 |
13 |
30 process, |
30 process, |
31 deepseq, |
31 deepseq, |
32 utf8-string, |
32 utf8-string, |
33 SHA, |
33 SHA, |
34 entropy, |
34 entropy, |
35 zlib >= 0.5.3 && < 0.6 |
35 zlib >= 0.5.3 && < 0.6, |
|
36 regex-tdfa |
36 |
37 |
37 if !os(windows) |
38 if !os(windows) |
38 build-depends: unix |
39 build-depends: unix |
39 |
40 |
40 ghc-options: -O2 |
41 ghc-options: -O2 |