Among the 2 debian patches available in version 1.0+8.17-1 of the package, we noticed the following issues:
commit 1302a1e3aab21eee7c9355f70f9ee05036050c8e Author: Julien Puydt <jpuydt@debian.org> Date: Tue Sep 26 15:06:47 2023 +0200 Add patch for Coq 8.18 support commit 3b7340fa2960985311f476944240d3984a395b00 Author: Julien Puydt <jpuydt@debian.org> Date: Wed Aug 16 09:45:23 2023 +0200 Fix d/rules clean target (closes: #1044276)