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