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
Contributors
andres-erbsen, proux01, and Villetaneuse