diff --git a/CSPM-Interpreter.cabal b/CSPM-Interpreter.cabal
--- a/CSPM-Interpreter.cabal
+++ b/CSPM-Interpreter.cabal
@@ -1,36 +1,38 @@
 Name:                CSPM-Interpreter
-Version:             0.7.0.0
+Version:             0.7.1.0
 
 Synopsis:            An interpreter for CSPM
 Description:
   This package contains an interpreter for CSPM
   and instance declarations that implement the interface defined in
   the package CSPM-CoreLanguage.
-  All type family instances that belong to this implementation
-  are indexed with the phantom-type 'INT' ('INT' == interpreter).
   The operational semantics of core-CSP is defined in the CSPM-FiringRules package.
 
 License:             BSD3
 category:            Language,Formal Methods,Concurrency
 License-File:        LICENSE
-Author:              2010 - 2014 Marc Fontaine
-Maintainer:          Marc Fontaine <fontaine@cs.uni-duesseldorf.de>
+Author:              2010 - 2017 Marc Fontaine <Marc.Fontaine@gmx.de>
+Maintainer:          Marc Fontaine <Marc.Fontaine@gmx.de>
 Stability:           experimental
-Tested-With:         GHC == 7.8.2
+Tested-With:         GHC == 8.2.1
+Cabal-Version:       >= 1.24
+Build-type: Simple
+Extra-Source-Files:  README.md
 
-cabal-Version:       >= 1.20
-build-type: Simple
-Extra-source-files:
+Source-Repository head
+  type:     git
+  location: git://github.com/MarcFontaine/cspm
+
 Library
   Build-Depends:
-    CSPM-Frontend >= 0.10 && < 0.11
+    CSPM-Frontend >= 0.12 && < 0.13
     ,CSPM-CoreLanguage >= 0.3 && < 0.4
     ,prettyclass >= 1.0 && < 1.1
     ,base >= 4.0 && < 5.0
     ,containers >= 0.5 && < 0.6
-    ,mtl
+    ,mtl >= 2.2 && < 2.3
     ,array >= 0.5 && <0.6
-    ,syb >= 0.4 && < 0.5
+    ,syb >= 0.4 && < 0.8
 
 
   Default-Language: Haskell2010
diff --git a/LICENSE b/LICENSE
--- a/LICENSE
+++ b/LICENSE
@@ -1,4 +1,4 @@
-Copyright (c) Marc Fontaine 2007-2011
+Copyright (c) Marc Fontaine 2007-2017
 
 All rights reserved.
 
diff --git a/README.md b/README.md
new file mode 100644
--- /dev/null
+++ b/README.md
@@ -0,0 +1,8 @@
+# CSPM-Interpreter
+
+This package contains an interpreter for CSPM
+and instance declarations that implement the interface defined in
+the package CSPM-CoreLanguage.
+The operational semantics of core-CSP is defined in the CSPM-FiringRules package.
+
+## [Haddock documentation](http://hackage.haskell.org/package/CSPM-Interpreter)