gameServer/hedgewars-server.cabal
changeset 15889 eb52cf05e454
parent 15699 27eb5abd5058
child 15985 e42d1819b150
equal deleted inserted replaced
15888:0cd6996cd4c8 15889:eb52cf05e454
    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 && < 3.0,
    25     network >= 2.3 && < 3.2,
       
    26     network-bsd >= 2.8.1 && < 2.9,
    26     random,
    27     random,
    27     time,
    28     time,
    28     mtl >= 2,
    29     mtl >= 2,
    29     sandi,
    30     sandi,
    30     hslogger,
    31     hslogger,