gameServer/hedgewars-server.cabal
changeset 11843 8f730ba4ca3c
parent 10977 b2823ea26631
child 11859 0b8f2116aa26
equal deleted inserted replaced
11842:c05e8453206a 11843:8f730ba4ca3c
    19   Build-depends:
    19   Build-depends:
    20     base >= 4.3,
    20     base >= 4.3,
    21     containers,
    21     containers,
    22     vector,
    22     vector,
    23     bytestring,
    23     bytestring,
    24     bytestring-show,
       
    25     network >= 2.3,
    24     network >= 2.3,
    26     random,
    25     random,
    27     time,
    26     time,
    28     mtl >= 2,
    27     mtl >= 2,
    29     dataenc,
    28     dataenc,