gameServer/hedgewars-server.cabal
changeset 5037 1edc06d2247c
parent 5030 42746c5d4a80
child 5077 7915668502a6
equal deleted inserted replaced
5036:cb5fa93c7ae0 5037:1edc06d2247c
    23     bytestring-show,
    23     bytestring-show,
    24     network-bytestring,
    24     network-bytestring,
    25     network,
    25     network,
    26     time,
    26     time,
    27     stm,
    27     stm,
    28     mtl,
    28     mtl >= 2,
    29     dataenc,
    29     dataenc,
    30     hslogger,
    30     hslogger,
    31     process,
    31     process,
    32     deepseq,
    32     deepseq,
    33     tconfig
    33     tconfig