# HG changeset patch # User unc0rr # Date 1509126867 -7200 # Node ID 8aa82e350b8e19c82d2bdba1e7a63ceaa9953952 # Parent a6f51ac9a3f239ae04f0df87dc5c8945dc89ee6d Update cabal file diff -r a6f51ac9a3f2 -r 8aa82e350b8e gameServer/hedgewars-server.cabal --- a/gameServer/hedgewars-server.cabal Fri Oct 27 17:50:20 2017 +0200 +++ b/gameServer/hedgewars-server.cabal Fri Oct 27 19:54:27 2017 +0200 @@ -18,7 +18,7 @@ -- Don't forget to update INSTALL.md when you change these dependencies! Build-depends: - base >= 4.3, + base >= 4.8, containers, vector, bytestring,