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

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

Extension.Data.ByteString

Description

Provide NFData instance for ByteString