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,