Accepted coq 8.14.0+dfsg-5 (source) into unstable

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

Format: 1.8
Date: Tue, 16 Nov 2021 07:33:35 +0100
Source: coq
Architecture: source
Version: 8.14.0+dfsg-5
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq (8.14.0+dfsg-5) unstable; urgency=medium
 .
   * Missed two bytecode-only architectures.
Checksums-Sha1:
 40399cd4dcb4f34b5e08e52f71d3dc5511f89ad3 2989 coq_8.14.0+dfsg-5.dsc
 d071199e3dbecdc1b02cd670900a4edba28018fe 39828 coq_8.14.0+dfsg-5.debian.tar.xz
 51ad29603c8a815e80aa0b3fd056a546e8433a23 15505 coq_8.14.0+dfsg-5_source.buildinfo
Checksums-Sha256:
 ee7e3316a3052c4cef50c4c6f2b944fe578f2a02572e1016f70e7874fe8dfffc 2989 coq_8.14.0+dfsg-5.dsc
 fb34fe5c8a37d5f5ee91e6daab1fe8e815aa4bfa568a4edca06d3f1ba45d95a3 39828 coq_8.14.0+dfsg-5.debian.tar.xz
 28edaa07350d1e3f5d8409991ec84cfc2cc0415ca29da1c6f4ca9579ca1a0ad1 15505 coq_8.14.0+dfsg-5_source.buildinfo
Files:
 ac359f495e9973aac6a0bba70bbcbfe3 2989 math optional coq_8.14.0+dfsg-5.dsc
 c02c74d2a1775a7c01642a59a9f70903 39828 math optional coq_8.14.0+dfsg-5.debian.tar.xz
 278adf9cf636d844bd9e034e17e37d70 15505 math optional coq_8.14.0+dfsg-5_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmGTUQgSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVReEwP/R19eChbqdfNbdvsNglVq2OMdCbiqRyg
WNWjtJ8xbNlBb3yKqFgUsa2vzPmD9Z3sy20NRz4xRaE2Qr22di5ik8lXkT8d8+Q8
T9j41DeUwhkdzGcIj7dSEt142V2Sk4XXLY7TSCHCinasv+brj2wwZWuQT7r/6CE9
IB+abGNV6u8Ze4LR53z+vhB0x08ZjiUQDWcLejSYQkzi64/bxN9yX7+5LssbOQwA
yEDOzsfRxmxLxMb9zZoNMvHysiGtz0bGJUiOSB2hjtBsHai0weAefptEiMoKS6wH
HT41mHx7Y76jKCrmP3pPpum5xgFKY6oioJK4t2k/ZEyjlwxCy7SAVt8buakN7i8/
qR0wiKmAaV21OzrrRgau8s/j5lIHT451mMjwlWgENemXKevmNGkp21BjgwtThtxo
TulGQDQxxDsOjuGIH/hzxjQHC5zqEAlmVtTGyONmK7wCVW9eSmndDUWTpeFMAvnf
g5aBHOBPADo2cecYoL/3cYXJG79kT3ceCw1bpeFU8sk4dr8/Hu198bIVJgUj6Fkw
K32RSA7nYM8bRtAIiRyTjQw2z/ExYBMLvY+6qAZ8kzS2pdJFW6ySf2uRZXlz07Zt
FR3nFLxzoNbwtWwbz/gojK1eiSVbHDlo7iO4XZHzwFBgWtwSDbWnxemGZw4x3N8M
ofF7+Xgb6FHc
=Myaj
-----END PGP SIGNATURE-----