gameServer/hedgewars-server.cabal
changeset 14970 6b5efc690472
parent 14320 f081a984da28
child 15699 27eb5abd5058
equal deleted inserted replaced
14963:2d5f1dc637da 14970:6b5efc690472
    20   Build-depends:
    20   Build-depends:
    21     base >= 4.8,
    21     base >= 4.8,
    22     containers,
    22     containers,
    23     vector,
    23     vector,
    24     bytestring,
    24     bytestring,
    25     network >= 2.3,
    25     network >= 2.3 && < 3.0,
    26     random,
    26     random,
    27     time,
    27     time,
    28     mtl >= 2,
    28     mtl >= 2,
    29     sandi,
    29     sandi,
    30     hslogger,
    30     hslogger,
    55   Build-depends:
    55   Build-depends:
    56     base >= 4.8,
    56     base >= 4.8,
    57     containers,
    57     containers,
    58     vector,
    58     vector,
    59     bytestring,
    59     bytestring,
    60     network >= 2.3,
    60     network >= 2.3 && < 3.0,
    61     mtl >= 2,
    61     mtl >= 2,
    62     sandi,
    62     sandi,
    63     hslogger,
    63     hslogger,
    64     process,
    64     process,
    65     ConfigFile,
    65     ConfigFile,