@hackage ppad-sha5120.1.1

The SHA-512 and HMAC-SHA512 algorithms

A pure implementation of SHA-512 and HMAC-SHA512 on strict and lazy ByteStrings, as specified by RFC's 6234 and 2104.