gameServer/hedgewars-server.cabal
changeset 7751 8c7f5c43ea5e
parent 6191 190a8e5d9956
child 7975 1a8308265fdd
child 9065 236710128077
equal deleted inserted replaced
7750:31e4f6c1834b 7751:8c7f5c43ea5e
    16 
    16 
    17   Build-depends:
    17   Build-depends:
    18     base >= 4.3,
    18     base >= 4.3,
    19     unix,
    19     unix,
    20     containers,
    20     containers,
    21     array,
    21     vector,
    22     bytestring,
    22     bytestring,
    23     bytestring-show,
    23     bytestring-show,
    24     network >= 2.3,
    24     network >= 2.3,
    25     time,
    25     time,
    26     mtl >= 2,
    26     mtl >= 2,