gameServer/hedgewars-server.cabal
branchwebgl
changeset 7975 1a8308265fdd
parent 7751 8c7f5c43ea5e
child 9127 e350500c4edb
equal deleted inserted replaced
7973:afb67e34a6b5 7975:1a8308265fdd
    14 Executable hedgewars-server
    14 Executable hedgewars-server
    15   main-is: hedgewars-server.hs
    15   main-is: hedgewars-server.hs
    16 
    16 
    17   Build-depends:
    17   Build-depends:
    18     base >= 4.3,
    18     base >= 4.3,
    19     unix,
       
    20     containers,
    19     containers,
    21     vector,
    20     vector,
    22     bytestring,
    21     bytestring,
    23     bytestring-show,
    22     bytestring-show,
    24     network >= 2.3,
    23     network >= 2.3,