Among the 1 debian patch available in version 8.17.0-1 of the package, we noticed the following issues:
commit 53fe55045f615b227035609e93ce957589bc43bf Author: Julien Puydt <jpuydt@debian.org> Date: Fri Aug 18 14:03:58 2023 +0200 Fix d/rules clean target (Closes: #1044914) commit 4cf8890bdef8e9616431174fec81f64dc8d2dfd6 Merge: d79ed1c dcf35de Author: Stephane Glondu <Stéphane Glondu glondu@debian.org> Date: Tue Aug 15 15:08:47 2023 +0200 Merge branch 'coq-math-classes-lintian-fixes' commit dcf35dee0f079d73b413347c97a49db961d02c80 Author: Debian Janitor <janitor@jelmer.uk> Date: Sat Apr 1 04:54:44 2023 +0000 Set upstream metadata fields: Repository. Changes-By: lintian-brush Fixes: lintian: upstream-metadata-missing-repository See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html commit 754a06f8bba5aacfffb2a9e56f4ef473c9852c1c Author: Debian Janitor <janitor@jelmer.uk> Date: Thu Jan 26 13:19:35 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 a2a5eb75d57fec78e8b7bd772e8679fe5b28019f Author: Debian Janitor <janitor@jelmer.uk> Date: Thu Jan 26 13:19:33 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 c28f6462fa31d11f3310d7dd6581e2d63f6f1e5b Author: Debian Janitor <janitor@jelmer.uk> Date: Thu Jan 26 13:19:23 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