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
![[bug history graph]](https://qa.debian.org/data/bts/graphs/c/coq.png){kind=link}