Accepted coq 8.15.2+dfsg-2 (source) into unstable

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

Format: 1.8
Date: Sat, 11 Jun 2022 16:16:14 +0200
Source: coq
Architecture: source
Version: 8.15.2+dfsg-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq (8.15.2+dfsg-2) unstable; urgency=medium
 .
   * Use dh-coq.
Checksums-Sha1:
 4ba4ae71645f294ebc4a00de4c317f0417cf787f 2607 coq_8.15.2+dfsg-2.dsc
 13c9e58644622abf2707e8e7dbe3268da1a8fa05 40124 coq_8.15.2+dfsg-2.debian.tar.xz
 c4502b2727c5dc4634203ffa45d1b3703b054f89 14767 coq_8.15.2+dfsg-2_source.buildinfo
Checksums-Sha256:
 a0e60559a0532e200567ac4d2cbaa43f28cf99271c3879c62d0a0efaf6f072f0 2607 coq_8.15.2+dfsg-2.dsc
 623be694fd78e147608bd20a1e34593efff5f8d28bc4597d075fe8278f22c6f4 40124 coq_8.15.2+dfsg-2.debian.tar.xz
 22cd13171844e496eb52cc879df2b9fe5423ac8a496b05ad47da9450bc3a3baf 14767 coq_8.15.2+dfsg-2_source.buildinfo
Files:
 529996150988b5b7ddd9b3cf879267c4 2607 math optional coq_8.15.2+dfsg-2.dsc
 1340e15f0dfc36eab8ddf7567dc5e3e4 40124 math optional coq_8.15.2+dfsg-2.debian.tar.xz
 b8a4ace7551a5c8098ec643c4b99a7c3 14767 math optional coq_8.15.2+dfsg-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmKk+LcSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVR4E4QAJWW6Cv5Cq1f/vzbGMfbsHZPadWfl45x
0D6dcyn6G3E46986boFflxV9qdgTdQXegDFQskIDyYJYpKZbCrjko0xKw4iIDqa1
2AEP087R+yu75FDud4gjS6Bc1oNfRuF4qOULFCxD3uj7IQGFTn76d23O+A+rUbkK
7FqwARmmYVMO+sVxsc6yKfE5zdjCkrQowPxgZKTBKynpDWZXu/fg5qciRlhhhOST
Y9ZQ+V5lP4F1gteMuSF2foE+h6RH74NMLqUEM44ynOqBjzxDzI+/H2OpF1aA1h0C
5HiZj6z2yaPSsCHZXpWiZcPBJKPUVSFUN7sAlU+mt8hmpxmso+FpnZH35cbioFFj
bLh3WqtDQ5OPp2WxajP+Pcy694VjhHErmr5bs+C8NMRCI0H2Oc0AAwp8xmjMEYt2
8RzYTOoJx6NhZjW1QNHP1LoJqqT6NDCMCt2u69JwNpzpw8vdw0S0QvMavcyGVf1k
s7oZxoT9DzB0IEmMPQ/TLkQJVfgEXLK2eWlhYtzuVQgFjQUscHW2ma1t32hgMv9D
sDjw/JhGle70R/fAkHrd5KWTv0p/iAQsBQvyqD4ddsMQkwoF3n8zXb1G+XJWojmG
XhEplj6mB5yoyfYxAz499l0yj28t977mFIaF7zuT7Dm+TE5n2HKtxOuv0gB6wYBy
1AIFCSXaadDf
=b54b
-----END PGP SIGNATURE-----