tamarin-prover-utils-1.2.2: Utility library for the tamarin prover.

Copyright(c) 2012 Benedikt Schmidt
LicenseGPL v3 (see LICENSE)
MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe
LanguageHaskell98

Extension.Data.ByteString

Description

Provided NFData instance for ByteString (with bytestring < 0.10)