Accepted coq-bignums 8.17.0-3 (source) into unstable

-----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-----