RISC-V Coq v0.0.2

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

What's Changed

• Support EXTERNAL_COQUTIL=1 by @JasonGross in #29
• Adapt w.r.t. coq/coq#16004 by @Alizter in #30

New Contributors

• @Alizter made their first contribution in #30

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