Rupicola v0.0.5

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

What's Changed

• Move crypto functions to fiat-crypto by @DIJamner in #57
• Adapt w.r.t. coq/coq#16004. by @ppedrot in #62
• use cygpath -m for -Q on Windows by @andres-erbsen in #66

New Contributors

• @ppedrot made their first contribution in #62

Full Changelog: v0.0.4...v0.0.5