Thank you for your contribution to Debian.



Accepted:

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 21 Dec 2023 14:34:31 +0100
Source: coq
Architecture: source
Version: 8.18.0+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <[email protected]> Changed-By: Julien Puydt <[email protected]>
Closes: 1044637
Changes:
coq (8.18.0+dfsg-1) unstable; urgency=medium
.
[ Debian Janitor ]
* 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
* debian/copyright: use spaces rather than tabs to start continuation lines.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Update standards version to 4.6.2, no changes needed.
* 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.
.
[ Julien Puydt ]
* Fix d/rules clean target (Closes: #1044637).
* New upstream release.
* Refresh patches.
* Drop the coq-unimath workaround patch.
Checksums-Sha1:
1fc194ce431a05495ee4d2de353e0c52a6059f0b 2570 coq_8.18.0+dfsg-1.dsc
880abe4c477b0b57ff4b9f8bd1a2ff56c8866ca4 4868368 coq_8.18.0+dfsg.orig.tar.xz
6ee7f5b329a4b9bc76182d48d4b89e668d068c25 33160 coq_8.18.0+dfsg-1.debian.tar.xz
b775ddae73a6f384d318295a01b4e1208e8f398b 16541 coq_8.18.0+dfsg-1_source.buildinfo
Checksums-Sha256:
7b722e9161a79651a1d126a69b60aa4893ad63273230b78ce2c5fbb3addaab7a 2570 coq_8.18.0+dfsg-1.dsc
ae1e6c8905d0766b436c3ecff35e836b8d6c56507106d470c175f834b9de89bd 4868368 coq_8.18.0+dfsg.orig.tar.xz
f3a5e4db041b560ee15014fde8f7a836880e9c4cf201e02722a92d4f3947e86b 33160 coq_8.18.0+dfsg-1.debian.tar.xz
cd5179feabc56f58ddf6e45e0d132e81e1d01dd782afa54670f3efd61c9adafb 16541 coq_8.18.0+dfsg-1_source.buildinfo
Files:
d8d73b23589b852b8586936d75a311d7 2570 math optional coq_8.18.0+dfsg-1.dsc
a217a12abf9ca7b00e72e99200c6cc31 4868368 math optional coq_8.18.0+dfsg.orig.tar.xz
c6af82172058bee3456b7cf144f60275 33160 math optional coq_8.18.0+dfsg-1.debian.tar.xz
2210f04c9c626166a25bde3857b66a4a 16541 math optional coq_8.18.0+dfsg-1_source.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWEP1ASHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRmogP/iyA7bxMyXA1lZjqe9vPIoyW+GyeWlvp bcNRhqxTb4ddt0n6EofzJHREG0RqenkZoUaAQUrBCZ7d0uvOt88tlSGO9oZ7vvzV lDd+eLz5U0/yUtvkyQIz8KDH3CZEhxom9VFYxkR0cXt6OWJAG7XMC2WyAH5wAG98 t6+H8fAokvmmyw3iLNzXuTbp1rhmntzY/5mtvCLnHL052fhbdgTgfiryQy1otSed uR1OMGoMyXvjJ1GLmuBQ+epBoQx4XEMlhp8383rIkP8Q6qcbBUDcyzn2x44UioJB F7xrU3MsDmho+i2hH2s+GhUifI9YgI4cTs2oJNyKyY9apASQ6/FnhmbS6KJk0DM5 pVwqYBu/Ulbc8wV7FYyJu5+swq577XC/xiqvdGaA/ZwabfMSb5LdrMGlXDFmiLZB yhbNbA6vhQMw/d5zxvis79rseBLZt2uJ8LiEzT9VKwGny8PBGlGDo2bE9rIY4ZFp 2jfrpHmLzyPFYnG00vJJogkWv7W3Q1crWG/7dFQ5/V6xBw9I7Dr/quFHmx6+UD1w glILdo8KfhZTWdLMGgzBVi3BVepiWnHm/u6PU5ylvy33vJxUStxjyti0O5ZiwcFY XPcMbp5MZhTyP4Cgi8coLtot9ZfL4lfdBkCAWUmRITHIXcHnGA4XfJFPLV3sADOC
XVMhPV/NpFuv
=utVj
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)