diff --git a/CSPM-CoreLanguage.cabal b/CSPM-CoreLanguage.cabal
--- a/CSPM-CoreLanguage.cabal
+++ b/CSPM-CoreLanguage.cabal
@@ -1,5 +1,5 @@
 Name:                CSPM-CoreLanguage
-Version:             0.3.0.1
+Version:             0.3.0.3
 Synopsis:            Definition of a FDR-compatible CSP core-language. 
 Description:
   This package contains an interface for a CSP core-language.
@@ -13,10 +13,10 @@
 Category:            Language,Formal Methods,Concurrency
 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
 Build-Type:          Simple