equal
deleted
inserted
replaced
13 |
13 |
14 Executable hedgewars-server |
14 Executable hedgewars-server |
15 main-is: hedgewars-server.hs |
15 main-is: hedgewars-server.hs |
16 |
16 |
17 Build-depends: |
17 Build-depends: |
18 base >= 4, |
18 base >= 4.3, |
19 unix, |
19 unix, |
20 containers, |
20 containers, |
21 array, |
21 array, |
22 bytestring, |
22 bytestring, |
23 bytestring-show, |
23 bytestring-show, |
24 network-bytestring, |
24 network >= 2.3, |
25 network, |
|
26 time, |
25 time, |
27 stm, |
|
28 mtl >= 2, |
26 mtl >= 2, |
29 dataenc, |
27 dataenc, |
30 hslogger, |
28 hslogger, |
31 process, |
29 process, |
32 deepseq, |
30 deepseq |
33 tconfig |
|
34 |
31 |
35 ghc-options: -O2 |
32 ghc-options: -O2 |