tamarin-prover-utils 0.8.4.0 → 0.8.5.0
raw patch · 2 files changed
+19/−24 lines, 2 filesdep ~SHAdep ~base64-bytestringdep ~binary
Dependency ranges changed: SHA, base64-bytestring, binary, blaze-builder, bytestring, containers, deepseq, dlist, fclabels, mtl, parsec, pretty, syb, time, transformers
Files
src/Extension/Data/ByteString.hs view
@@ -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 ()
tamarin-prover-utils.cabal view
@@ -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