author | unc0rr |
Fri, 27 Oct 2017 19:54:27 +0200 | |
changeset 12788 | 8aa82e350b8e |
parent 12787 | a6f51ac9a3f2 |
child 12789 | 28782e03b8f0 |
--- 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,