v0.3.7

What's Changed

• Update to Rocq 9.1 by @MackieLoeffel in #61
• Bump allowed rocq to include 9.1 by @tchajed in #62
• Bump coq in coq-record-update.opam by @andres-erbsen in #66

New Contributors

• @andres-erbsen made their first contribution in #66

Full Changelog: v0.3.6...v0.3.7