tamarin-prover-utils-0.8.0.1: Utility library for the tamarin prover.
Extension.Data.ByteString
Description
Provide NFData instance for ByteString