What's Changed
- Remove deprecated files in Coq.Arith by @Villetaneuse in #47
- adapt to coq/coq#18730 by @andres-erbsen in #49
New Contributors
- @Villetaneuse made their first contribution in #47
- @andres-erbsen made their first contribution in #49
Full Changelog: v1.4...v1.5
Contributors
andres-erbsen and Villetaneuse