From fe79e8cd2544a74a09f26b68eb793fc0e88e74ac Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 15 Jul 2013 17:07:51 +0000
Subject: [PATCH] gf-server.cabal: same changes as in gf.cabal for ghc-7.6
 compatibility

---
 src/server/gf-server.cabal | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/server/gf-server.cabal b/src/server/gf-server.cabal
index 2cee4566d..49b2b8f6f 100644
--- a/src/server/gf-server.cabal
+++ b/src/server/gf-server.cabal
@@ -62,7 +62,8 @@ executable pgf-service
 
   build-depends: base >=4.2 && <5,
                  mtl,
-                 old-time,
+                 time,
+                 time-compat,
                  directory,
                  filepath,
                  containers,