diff --git a/CSPM-FiringRules.cabal b/CSPM-FiringRules.cabal
--- a/CSPM-FiringRules.cabal
+++ b/CSPM-FiringRules.cabal
@@ -1,5 +1,5 @@
 name:                CSPM-FiringRules
-version:             0.4.1.2
+version:             0.4.2.0
 synopsis:            Firing rules semantic of CSPM
 description:
   This package contains functions for computing the transitions of a CSP process
@@ -16,10 +16,10 @@
 build-type:          Simple
 license:             BSD3
 license-file:        LICENSE
-author:              2010 - 2012 Marc Fontaine
-maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
+author:              2010 - 2013 Marc Fontaine
+maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
 stability:           experimental
-tested-With:         GHC == 7.4.1
+tested-With:         GHC == 7.6.3
 
 cabal-Version:       >= 1.10
 
@@ -33,7 +33,7 @@
     ,tree-monad >=0.3 && < 0.4
     ,parallel-tree-search >=0.4 && < 0.5
     ,base >= 4.0 && < 5.0
-    ,containers >= 0.4 && < 0.5
+    ,containers >= 0.5 && < 0.6
     ,mtl >= 2.1 && < 2.2
   
   Default-Language: Haskell2010
@@ -56,7 +56,7 @@
 
   if flag(QuickCheck)
     build-depends:
-      QuickCheck >= 2.4 && < 2.5
+      QuickCheck >= 2.6 && < 2.7
       ,random >= 1.0 && < 1.1
     exposed-modules:
       CSPM.FiringRules.Test.Test