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.2.0
+version:             0.4.3.0
 synopsis:            Firing rules semantic of CSPM
 description:
   This package contains functions for computing the transitions of a CSP process
@@ -16,12 +16,12 @@
 build-type:          Simple
 license:             BSD3
 license-file:        LICENSE
-author:              2010 - 2013 Marc Fontaine
+author:              2010 - 2014 Marc Fontaine
 maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
 stability:           experimental
-tested-With:         GHC == 7.6.3
+tested-With:         GHC == 7.83
 
-cabal-Version:       >= 1.10
+cabal-Version:       >= 1.20
 
 flag QuickCheck
   description: enable QuickCheck tests