diff --git a/CSPM-ToProlog.cabal b/CSPM-ToProlog.cabal
--- a/CSPM-ToProlog.cabal
+++ b/CSPM-ToProlog.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-ToProlog
-Version:             0.5.0.0
+Version:             0.5.1.0
 Synopsis:            some modules specific for the ProB tool
 Description:
   This package contains a translation from a CSPM AST to the representation
@@ -9,10 +9,10 @@
 License:             BSD3
 category:            Formal Methods
 License-File:        LICENSE
-Author:              2006-2012 Marc Fontaine
-Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
+Author:              2006-2013 Marc Fontaine
+Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
 Cabal-Version:  >= 1.10
-Tested-With:    GHC==7.4.1
+Tested-With:    GHC==7.6.3
 Build-Type:     Simple
 
 Library
@@ -21,9 +21,9 @@
     CSPM-Frontend >= 0.9 && < 0.10
     ,pretty >= 1.1 && < 1.2
     ,base >= 4.0 && <5.0
-    ,containers >= 0.4 && <0.5
+    ,containers >= 0.5 && <0.6
     ,array >=0.4 && <0.5
-    ,ghc-prim >= 0.2 && <0.3
+    ,ghc-prim >= 0.3 && <0.4
 
   Hs-Source-Dirs: src
   ghc-options: -Wall