diff --git a/src/Extension/Data/ByteString.hs b/src/Extension/Data/ByteString.hs
--- a/src/Extension/Data/ByteString.hs
+++ b/src/Extension/Data/ByteString.hs
@@ -1,15 +1,11 @@
-{-# OPTIONS_GHC -fno-warn-orphans #-}
 -- |
 -- Copyright   : (c) 2012 Benedikt Schmidt
 -- License     : GPL v3 (see LICENSE)
--- 
+--
 -- Maintainer  : Benedikt Schmidt <beschmi@gmail.com>
 --
--- Provide NFData instance for ByteString
+-- Provided NFData instance for ByteString (with bytestring < 0.10)
 module Extension.Data.ByteString (
   ) where
 
-import qualified Data.ByteString as B
-import Control.DeepSeq
-
-instance NFData B.ByteString
+import Data.ByteString ()
diff --git a/tamarin-prover-utils.cabal b/tamarin-prover-utils.cabal
--- a/tamarin-prover-utils.cabal
+++ b/tamarin-prover-utils.cabal
@@ -2,7 +2,7 @@
 
 cabal-version:      >= 1.8
 build-type:         Simple
-version:            0.8.4.0
+version:            0.8.5.0
 license:            GPL
 license-file:       LICENSE
 category:           Theorem Provers
@@ -34,22 +34,21 @@
 
     build-depends:
         base              == 4.*
-      , mtl               == 2.0.*
-      , bytestring        == 0.9.*
-      , transformers      == 0.2.*
-      , containers        >= 0.4.2   && < 0.5
-      , fclabels          == 1.1.*
-      , blaze-builder     == 0.3.*
-      , base64-bytestring >= 0.1.0.3 && < 0.2
-      , bytestring        == 0.9.*
-      , SHA               == 1.5.*
-      , parsec            == 3.1.*
-      , deepseq           == 1.3.*
-      , syb               >= 0.3.3   && < 0.4
-      , pretty            == 1.1.*
-      , time              >= 1.2     && < 1.5
-      , binary            == 0.5.*
-      , dlist             == 0.5.*
+      , mtl               == 2.*
+      , bytestring        >= 0.10
+      , transformers      == 0.*
+      , containers        >= 0.4.2
+      , fclabels          == 1.*
+      , blaze-builder     == 0.*
+      , base64-bytestring >= 0.1.0.3
+      , SHA               == 1.*
+      , parsec            == 3.*
+      , deepseq           == 1.*
+      , syb               >= 0.3.3 
+      , pretty            == 1.*
+      , time              >= 1.2
+      , binary            == 0.*
+      , dlist             == 0.*
 
     hs-source-dirs: src