gameServer/hedgewars-server.cabal
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,