changeset 12788 | 8aa82e350b8e |
parent 12751 | 838515c4e6c5 |
child 12864 | 73ebc894a725 |
--- 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,