[Ur] Hash and Gravatar libraries

[Adam Chlipala]

On 06/15/2015 05:19 PM, Benjamin Barenblat wrote:
> I’m pleased to announce two new libraries for Ur/Web.  One uses the FFI
> to provide MD5, SHA-1, and SHA-2 hash functions; the other provides
> support for Gravatar.  You can get both from my Gitweb:
>      https://benjamin.barenblat.name/gitweb/?p=urweb-crypto-hash-openssl.git
>      https://benjamin.barenblat.name/gitweb/?p=urweb-gravatar.git
>
> You’ll need the hash library if you want to use the Gravatar library,
> since Gravatar uses MD5 internally.

Nifty!  You might consider switching to use OpenSSL for the hashing, 
since Ur/Web is already linking it by default.  That's how I do hashing 
in the OpenID library.