Accepted coq 8.16.1+dfsg-1 (source) into unstable

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

Format: 1.8
Date: Tue, 29 Nov 2022 09:28:08 +0100
Source: coq
Architecture: source
Version: 8.16.1+dfsg-1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq (8.16.1+dfsg-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 23025b6b34369b96d2eb283c079e37d541d72879 2629 coq_8.16.1+dfsg-1.dsc
 472059a6b99fafeacd37a08559bc02db30515617 4717668 coq_8.16.1+dfsg.orig.tar.xz
 42cf3fc84f6d6ec544f3490df8baa202a72ba8b7 33236 coq_8.16.1+dfsg-1.debian.tar.xz
 ed0ab53cfec06d4c3dca7985e4f716fbd47d2132 15507 coq_8.16.1+dfsg-1_source.buildinfo
Checksums-Sha256:
 9756a998c91c13eb3a3f387e41dedce7c0c16c64e3fecb9eec25d98c4f8d63e7 2629 coq_8.16.1+dfsg-1.dsc
 d9cee0ee2889ad2ef3be6bcbedff6aadd14afe861c81d427b34c6be56c677cb3 4717668 coq_8.16.1+dfsg.orig.tar.xz
 9a9cae6934a209c895eeb808e503eaf001aa7fe0385b9f54313d7b08bb24cdab 33236 coq_8.16.1+dfsg-1.debian.tar.xz
 850073c3606d27c5ecdecf86eec6ae32a67356a689191e2514e99adab1002c4c 15507 coq_8.16.1+dfsg-1_source.buildinfo
Files:
 d16a3ecc42e77188c1838c18d9fe5833 2629 math optional coq_8.16.1+dfsg-1.dsc
 79d8714e248357dca8caa0b3de7f5f22 4717668 math optional coq_8.16.1+dfsg.orig.tar.xz
 dd0067c115de71a799868e942a4bd615 33236 math optional coq_8.16.1+dfsg-1.debian.tar.xz
 08fcb8d3cac9e297e0415365af2ebade 15507 math optional coq_8.16.1+dfsg-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmOFwucSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRRkoP/ieF28X6eg2YoObr9V6M8rubyXsLVyzQ
jHL5cLuBZHop5RZoymOQSQgT3Mc+yXLVOcyrCy/b0VemtV74AqIrOVLGTU4z6iwa
9xIfOZSZ2st8tE3qeGpq44jbCoGN/z4MNtlDFIW2lEqeWgg6a/ZWXBI7ew70g+KH
aL/1eFuNKMJcqCn5wBL1WSNjIYP7uaOjVDcQn+bL/qlwvI3WCqOH2oG9HLw0k92c
BtQflqYq7jWXji8LuUcfLF25d2ZUHLwixtBJBXk9LdON2yUJI1cUP4aYVQpi1g9B
EXdZFEjYgXWSYz6d5bCcoVoIoRgtvuGtUsp6DNI29Oev1tfefqj7s8sh7idOcF2s
3k5lS12D6se83zv0n+bhNozhsApVVzt/XAONZuyXjKwcv/iY2u2C4FZZhBbkdRud
iGAsVQh4kdHfREtJTc09dQcNvNepJ5K3FNZuQRgyx/HdM7E2EyfCbdaaBM4Od8s3
pKUp6TRe74ea9s8BV9ZoNQg2RmZJliBS0VypYdjvdhSfH4m0GkD7wJQxvrn8aFDL
xC/xHmLSkOGgmXRc+U5WeKvuo31WFKsAtBvWZeyGxtuqy/rf63GeJEsiNhxNjkm0
lTIJfSFtYRyWb30jjWjRp19GX00WV9Ucfp92QtAinv3d27Xq5thYr5uQxAhBSJdO
tz0fLKFtEbSn
=DdvD
-----END PGP SIGNATURE-----