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

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe-Inferred

Extension.Data.ByteString

Description

Provided NFData instance for ByteString (with bytestring < 0.10)