Rewriter v0.0.12

Compatible with Coq 8.18, 8.19, 8.20

What's Changed

• Rely on upstreamed Ltac2 functions (prompted by coq/coq#18973). by @rlepigre in #155
• Adapt to coq/coq#19384 (cleanup ustate universe demote APIs) by @SkySkimmer in #156
• speedup wf{3,4}_of_wf by factorizing raw matches to definitions by @SkySkimmer in #157
• Adapt to coq/coq#19530 by @proux01 in #159
• Adapt to coq/coq#19620 (Global.push_context_set no strict argument) by @SkySkimmer in #160
• add missing nounfold for Qeq_bool in Sample.v (for coq/coq##19801) by @andres-erbsen in #164
• Adapt to coq#19822 by @Tragicus in #165

New Contributors

• @rlepigre made their first contribution in #155
• @proux01 made their first contribution in #159
• @Tragicus made their first contribution in #165

Full Changelog: v0.0.11...v0.0.12