Accepted coq-bignums 8.17.0-3 (source) into unstable
- To: debian-devel-changes@lists.debian.org
- Subject: Accepted coq-bignums 8.17.0-3 (source) into unstable
- From: Debian FTP Masters <ftpmaster@ftp-master.debian.org>
- Date: Mon, 12 Jun 2023 20:57:20 +0000
- Debian: DAK
- Debian-architecture: source
- Debian-archive-action: accept
- Debian-changes: coq-bignums_8.17.0-3_source.changes
- Debian-source: coq-bignums
- Debian-suite: unstable
- Debian-version: 8.17.0-3
- 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=dBz8dhpG2nM/9QBsbsX2hwyWN0VuXpmFGgZDqcpP4tU=; b=hd6TWtv1/7qUZBs522QbZs8WiB f+U7rKklu+9hFwmC3bm9CyAm7aG0AUxYsWu473xodxFeprBKXIOhywoDRdZr1rutXixbULhblZest aZySl3meelzo9zq2gLWilX8s24KthueKpum0VEqyqI2ldEiQ9q6r2O/uIUjCoGaGfsxEX+LdZgQiX WuzKksAfEg2B6FkDP9pMxeXNqrWPfvWdRM1LqGe1KIbE/1hRxUjwcdfDVH9UDgVF7sZz/rwoiFY7h wG4+o0R4+nctG8ZGfbX+kbO7iflYHznAOEqHUCFAg+XY+DRO5tZM4cEr1tzLSDEWWsTyuFdIk1NEn rALQlZHQ==;
- Mail-followup-to: debian-devel@lists.debian.org
- Message-id: <E1q8obI-000G2Y-W6@fasolo.debian.org>
- Reply-to: debian-devel@lists.debian.org
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512
Format: 1.8
Date: Mon, 12 Jun 2023 19:28:06 +0200
Source: coq-bignums
Architecture: source
Version: 8.17.0-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
coq-bignums (8.17.0-3) unstable; urgency=medium
.
* Bump standards-version to 4.6.2.
* Add lintian overrides for false positives.
Checksums-Sha1:
dd8ff287aeabe16a984675426a7609992e1b8236 2097 coq-bignums_8.17.0-3.dsc
bbed4723efe7f75e386156bd96f0b6b665de8950 1936 coq-bignums_8.17.0-3.debian.tar.xz
54de0434b44ca851335225a801a64516d2a2a469 7343 coq-bignums_8.17.0-3_source.buildinfo
Checksums-Sha256:
8297a966a0782d59620ecd5ac5433fbd0a1f9888b6c083faa8d6fbddc3f8f0e4 2097 coq-bignums_8.17.0-3.dsc
3ef775d1813c8c0ddc349cdac1932e8c59f898b670ea8dafe64887c2d85f01fc 1936 coq-bignums_8.17.0-3.debian.tar.xz
ba38a6925c06739ca13d5f3ead5e39fe2179a6c0dd975d1fe74bff12f6e352b6 7343 coq-bignums_8.17.0-3_source.buildinfo
Files:
30d10f23ca1529e4307beaebd748ba42 2097 ocaml optional coq-bignums_8.17.0-3.dsc
544050872eb75e07d282e320418f262a 1936 ocaml optional coq-bignums_8.17.0-3.debian.tar.xz
42ada7a79f06cac5ee80d4e0d3c3a180 7343 ocaml optional coq-bignums_8.17.0-3_source.buildinfo
-----BEGIN PGP SIGNATURE-----
iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmSHVbQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBboP/RNom5JkDGMhsTgNfJ276bN32Z6rQVK/
PahJYys0BR2q+mUE9eN7E/4eR3W0svbnJD9hs+iB9dp+B3VAEBH4j6odDAkgmufg
+2DWp51huTWAobPVBKs8zVYuFwEpcvRo5HerAo09hGiLHY7g3T+JQ1t5P20Qd1kv
H3nXavpVk5gv440bxa0g21RHjCw6sGoCRCd1l4erKu6YGtLkPmIXSxjqZHI4wCjF
AZ1RtTVMsd5gmfAqTYxLuRXMnHhAGW4+J/aOdOlKHN5y5WaAtdp9ZM1TfabwWusF
dCLF5R8w3ElSJye5UxvXWVWJ6nTzB4oXElnKiCdf8l8oHVoYBSBM6eZMskHk9ZLS
HUHlW/u1AOBddHkyrJtdhbFxAvpHqusexEH5DQVyBG/G8sALDfOwpq6xeo6Sanw1
mpmFGJBjYnnm+uMBr6P+0iX3tbyWOSWybvYjzHCpRJrKATSQ3rVEtLHCTO8UBRtL
Amtw7YQusdhw9cayg5xd6s8t61hqsu91daaQY65x6+i0ryp7ZV0sD9Xaetj+mFCJ
t1JnTTMGV7Rosj3sE6+0SE7AXP3Fvk2z+vJfK8mI64a4/2vjvnVruk48CxI1xicK
EULnDQl821lP65uzMrq4zeHUBgbYYV+uvHikTkENxvwzZ1tD2GBQWaFfpCPxK9tR
uyzSFb6Rg6CQ
=WUoy
-----END PGP SIGNATURE-----