Accepted coq 8.18.0+dfsg-1 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq 8.18.0+dfsg-1 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Thu, 21 Dec 2023 14:34:50 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq_8.18.0+dfsg-1_source.changes
- Debian-source: coq
- Debian-suite: unstable
- Debian-version: 8.18.0+dfsg-1
- Dkim-signature: v=1; a=rsa-sha256; q=dns/txt; c=relaxed/relaxed; d=ftp-master.debian.org; s=smtpauto.fasolo; h=Date:Message-Id: Content-Transfer-Encoding:Content-Type:Subject:MIME-Version:To:Reply-To:From: Cc:Content-ID:Content-Description:In-Reply-To:References; bh=1GIhBno3zOEvkYiOUTLViqBpX/hm9MU4zfIgM5VZUXc=; b=O8TN7oYLqnqYbn/bFY0VNz3SR+ 60emwNxcXvXVBH9j5vpm/doqR4ERbZrLXZK8UXbEvrEFjZituSTOJHevo9LsYIXCy9h/kOo8uncme GP+b58Y0fGJiZ6TZm4ift6kZy6jDd/IVyn8oJqwitVmJwWKX2kuwpshDcisEJJERi9o9zdTsKN3P4 9f3FPjuhUROx7UxjcH/TVhJp6ZKcyXzgX/tOpOiM3RvpbOJtJ1X3iAhDXm1NdJktWQ4G94GhPkBhJ NoDObg0K6o7lmaD2VNZ513qs6/yL2F2NOYFZSgYNhHX3Kdh4CnzEN5nSfAcK+gY8tYQrMnfheOosF ta2vOHNg==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1rGK8Q-008eYM-7Y@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----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 <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
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-----