Compatibility release for Coq 8.19

What's Changed

• Adapt to coq/coq#18164 by @Villetaneuse in #202
• Adapt to coq/coq#18590 by @proux01 in #203
• Adapt to coq/coq#18880 by @proux01 in #205
• remove unneeded Ndigits dependency (adapt to coq/coq#18936) by @andres-erbsen in #206

Full Changelog: 8.18.0...8.19.0

Compatibility release for Coq 8.18.

What's Changed

• Compatibility fixes for Coq 8.18 (for coq/coq#16904, coq/coq#16920 and coq/coq#17564) by @ppedrot and @olaure01 in #175, #176 and #180
• Typo fix by @joaquimpuig in #178
• Remove support for untested versions of Coq by @anandadalton in #179
• Simplification of configure and many fixes of Coq deprecations by @anandadalton in #183, #184, #185, #186, #187, @anandadalton in #188, #189, #190, #191, #194, #195, @anandadalton in #197, #198
• Compatibility fix for the upcoming Coq 8.19 (for coq/coq#6134) by @proux01 in #199
• Update testing to Coq 8.18 by @Zimmi48 in #201

New Contributors

• @joaquimpuig made their first contribution in #178
• @anandadalton made their first contribution in #179

Full Changelog: 8.16.0...8.18.0

Compatibility release for Coq 8.16

This release is known to be compatible with Coq 8.11 to 8.16.

Compatibility release for Coq 8.13.0.

This release has been tested to be compatible with Coq 8.7-8.13. We expect that it will also be compatible with the upcoming Coq 8.14.

Compatible with 8.6 and up

Compatible with 8.6 and up