gameServer/hedgewars-server.cabal
changeset 11860 ad435d95ca4b
parent 11859 0b8f2116aa26
child 12756 838515c4e6c5
equal deleted inserted replaced
11859:0b8f2116aa26 11860:ad435d95ca4b
    23     bytestring,
    23     bytestring,
    24     network >= 2.3,
    24     network >= 2.3,
    25     random,
    25     random,
    26     time,
    26     time,
    27     mtl >= 2,
    27     mtl >= 2,
    28     dataenc,
    28     sandi,
    29     hslogger,
    29     hslogger,
    30     process,
    30     process,
    31     deepseq,
    31     deepseq,
    32     utf8-string,
    32     utf8-string,
    33     SHA,
    33     SHA,