Among the 6 debian patches available in version 8.17.0+dfsg-1 of the package, we noticed the following issues:
commit 3bac6aae2665a344865cc98a8c933d941435342f Author: Stephane Glondu <steph@glondu.net> Date: Wed Sep 6 08:48:01 2023 +0200 Remove camlp5 from Build-Depends commit d4b24f84629f2c81b9985d9cb40d9ddd16d76d4c Author: Julien Puydt <jpuydt@debian.org> Date: Sat Aug 19 17:48:02 2023 +0200 Fix d/rules clean target (Closes: #1044637) commit de1fa41df79b18f2861b729dea51a1170a99d9c3 Merge: 478e9471 e8f41c31 Author: Stephane Glondu <steph@glondu.net> Date: Mon Aug 14 11:42:29 2023 +0200 Merge branch 'coq-scrub-obsolete' commit 478e9471b2d7404aa357fbec5975ee2662bf25f1 Merge: dfa18d17 87fa96f3 Author: Stephane Glondu <steph@glondu.net> Date: Mon Aug 14 11:39:03 2023 +0200 Merge branch 'coq-lintian-fixes' commit dfa18d170ab337549410dc1c38b0cee526e7b1f5 Author: Stephane Glondu <steph@glondu.net> Date: Tue Aug 8 09:36:39 2023 +0200 Depend on ocaml instead of ocaml-nox commit 87fa96f39afe62d181bd1761d43d7aa5e3d9b296 Author: Debian Janitor <janitor@jelmer.uk> Date: Tue Jan 10 00:36:49 2023 +0000 Update standards version to 4.6.2, no changes needed. Changes-By: lintian-brush Fixes: lintian: out-of-date-standards-version See-also: https://lintian.debian.org/tags/out-of-date-standards-version.html commit 84c9c167d4deecf88dbf0193d8b4cfe998c2c31b Author: Debian Janitor <janitor@jelmer.uk> Date: Tue Jan 10 00:36:31 2023 +0000 Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse. Changes-By: lintian-brush Fixes: lintian: upstream-metadata-file-is-missing See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html Fixes: lintian: upstream-metadata-missing-bug-tracking See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html commit aa7261d2c8160c4d0087903db87ced85435ba8a8 Author: Debian Janitor <janitor@jelmer.uk> Date: Tue Jan 10 00:35:30 2023 +0000 debian/copyright: use spaces rather than tabs to start continuation lines. Changes-By: lintian-brush Fixes: lintian: tab-in-license-text See-also: https://lintian.debian.org/tags/tab-in-license-text.html commit e910e8ad3471d5ca0ea422a9985d2e862f1c016d Author: Debian Janitor <janitor@jelmer.uk> Date: Tue Jan 10 00:35:28 2023 +0000 Update lintian override info to new format: + debian/coq.lintian-overrides: line 2, 4-21 + debian/libcoq-core-ocaml-dev.lintian-overrides: line 2 + debian/libcoq-core-ocaml.lintian-overrides: line 2-4, 6 Changes-By: lintian-brush Fixes: lintian: mismatched-override See-also: https://lintian.debian.org/tags/mismatched-override.html commit e8f41c3187b6b14ffd9f283b398b67ca40bea027 Author: Debian Janitor <janitor@jelmer.uk> Date: Fri Dec 9 17:19:55 2022 +0000 Remove constraints unnecessary since buster (oldstable) * Build-Depends: Drop dependency on essential package bash (>= 5.0). * Build-Depends: Drop versioned constraint on dh-ocaml (>= 0.9.5~). * Build-Depends: Drop versioned constraint on ocaml-nox (>= 4.05). * Build-Depends: Drop versioned constraint on camlp5 (>= 6.14). * libcoq-stdlib: Drop versioned constraint on coq (>= 8.0) in Recommends. * libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in Replaces. * libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<< 8.3~) in Replaces. * libcoq-core-ocaml: Drop conflict with removed package coq (<< 8.3~) in Breaks. * libcoq-core-ocaml: Drop conflict with removed package libcoq-ocaml-dev (<< 8.3~) in Breaks. * libcoq-core-ocaml-dev: Drop conflict with removed package coq (<< 8.2-1+dfsg-1) in Replaces. * libcoq-core-ocaml-dev: Drop conflict with removed package coq (<< 8.2-1+dfsg-1) in Breaks. Changes-By: deb-scrub-obsolete