coqutil v0.0.2

A pre-release tag for use with Fiat Cryptography v0.0.15 and a non-dev opam package.

What's Changed

• Add list_diff_length lemma to coqutil by @pratapsingh1729 in #64
• Adapt w.r.t. coq/coq#16004 by @Alizter in #66
• Map split lemmas by @andres-erbsen in #73

New Contributors

• @pratapsingh1729 made their first contribution in #64
• @Alizter made their first contribution in #66

Full Changelog: v0.0.1...v0.0.2