diff --git a/tamarin-prover.cabal b/tamarin-prover.cabal
--- a/tamarin-prover.cabal
+++ b/tamarin-prover.cabal
@@ -1,7 +1,7 @@
 cabal-version:      >= 1.8
 build-type:         Simple
 name:               tamarin-prover
-version:            0.8.6.1
+version:            0.8.6.2
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers
@@ -12,6 +12,9 @@
 synopsis:           The Tamarin prover for security protocol analysis.
 description:
 
+    **Note:** the tamarin-prover should be installed from source as described
+    in its README at <https://github.com/tamarin-prover/tamarin-prover>.
+
     The Tamarin prover is a tool for the analysis of security protocols. It
     implements a constraint solving algorithm that supports both falsification
     and verification of security protocols with respect to an unbounded number
@@ -252,8 +255,8 @@
         base              == 4.*
       , bytestring        >= 0.9
       , deepseq           >= 1.3
-      , array             >= 0.3   
-      , containers        >= 0.4.2 
+      , array             >= 0.3
+      , containers        >= 0.4.2
       , dlist             >= 0.5
       , mtl               >= 2.1
       , cmdargs           == 0.10.*