v0.0.21
Pre-release
Pre-release
Compatible with Coq 8.19, 8.20, Rocq 9.0, 9.1, 9.2.
Last release compatible with Coq < 9.0
What's Changed
- Adapt to rocq-prover/rocq#21947 by @proux01 in #201
- Adapt to rocq-prover/rocq#21955 by @JasonGross in #203
- Fix version parsing logic by @miriampolzer in #208
New Contributors
- @miriampolzer made their first contribution in #208
Full Changelog: v0.0.20...v0.0.21
Contributors
JasonGross, proux01, and miriampolzer