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

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

Extension.Data.ByteString

Description

Provide NFData instance for ByteString