Accepted paramcoq 1.1.3+coq8.16-2 (source) into unstable

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

Format: 1.8
Date: Tue, 13 Sep 2022 08:57:59 +0200
Source: paramcoq
Architecture: source
Version: 1.1.3+coq8.16-2
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Closes: 1019571
Changes:
 paramcoq (1.1.3+coq8.16-2) unstable; urgency=medium
 .
   * Unbreak autopkgtest (Closes: #1019571).
Checksums-Sha1:
 868ca9bc5ff4ec4a77b78767375b8c98b29506e4 2106 paramcoq_1.1.3+coq8.16-2.dsc
 4c4226a7f22db47c83a76de4325650dc852ae8ce 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
 ef189bc5871e2315949048388c8f71e811c17555 6962 paramcoq_1.1.3+coq8.16-2_source.buildinfo
Checksums-Sha256:
 8e0ecf1e99b7bdd14c10af2dfc3cf931cc3acf8054c5e4a7262d1ac2a0182197 2106 paramcoq_1.1.3+coq8.16-2.dsc
 cff5b7476f20a5f0240eb8ab5dbec7c0bbcb3cc44e2f016a4f75d3bfcbc437e8 2844 paramcoq_1.1.3+coq8.16-2.debian.tar.xz
 4900b1793cdf664536e04c3b2a9c68503ee1e2f1deba86c9a4cb640b324565f6 6962 paramcoq_1.1.3+coq8.16-2_source.buildinfo
Files:
 c5a87eb986e64d67aaea41cfa77f96bd 2106 ocaml optional paramcoq_1.1.3+coq8.16-2.dsc
 b11f7a896c1eceb49548a2285873728b 2844 ocaml optional paramcoq_1.1.3+coq8.16-2.debian.tar.xz
 f24099a60a2fbb1e2e5db64769eaf1fd 6962 ocaml optional paramcoq_1.1.3+coq8.16-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmMgKhUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRSIIP+wSBgIhkoYVPnt4InRN3DF+3H/xAt1Rv
vAEOwIObltMIJ0ZPPxzEZlSEI5YNKDzJfSoxBXmnoj34KVDrk4IITJys8XcmRSc9
POvJea7pR9AVgqoJg2YOeZZbsXwl25f6tOUEnAKj1P3jd91dkK2cEggKA370pHBP
34RAcy2t+Xw0g4sG6xKiv/MhKjz8hEibTAw6K6yBI9MgWmUPOTq8dWo6GRhwrUno
rPwgwmU5zVCozK9WvKLtztEU2sGjkPz9M74JHxQZNPfpnMjxhqx5bf6rlG37kVJ5
vsg2gxJs5pN07lTtHoAlf7kmUmklfVFaQosV1/7EOnH+ELx2JnRGKQMf/UxwU03h
UOhMwrmzxBag5kjIQyI1wJd9Q9AitxDuRcNKqZboM171UcUlzqytYfDFUuIpHoxb
kz/7inGON6bnFt7SBlLia9Tz0dpuQKBfUYtPBcH2ie2SGXZZotJAEvx2qgvPA+Nh
Vdk9CGJ1LDPWoMMvi/g8I/sAPRvH2egel2pSBzI356J7Gga9HKj7X+vg/8X8ZKFq
ZCb1hf3p7JqTtzMNofx/ifr1H/+YfnELoxO96pHsTYGAPTv5hImAWW69d4JvgA/v
IWbiIxDXGc539WVk8Otniwd/ZRC40TacPZwmMdtHDDEcasb6eYeoyrOkvv7fUMFJ
Bw08fvns7NDA
=MLc7
-----END PGP SIGNATURE-----