Accepted coq-mtac2 1.4+8.15-3 (source) into unstable

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

Format: 1.8
Date: Sun, 07 Aug 2022 08:38:06 +0200
Source: coq-mtac2
Architecture: source
Version: 1.4+8.15-3
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coq-mtac2 (1.4+8.15-3) unstable; urgency=medium
 .
   * Add missing shlib:Depends.
Checksums-Sha1:
 58f7b3d44b77431a11b295b40ab0ee5c76d7dd53 2095 coq-mtac2_1.4+8.15-3.dsc
 203f1fb278e4218185b4db0501f24c9a1a6c46c4 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
 9ff1c422b83cbc2f3b04b819ce3ae37cd3aa90fc 6985 coq-mtac2_1.4+8.15-3_source.buildinfo
Checksums-Sha256:
 ccc793df8bf60654d31d94df526982a11d40a03d7c6e6709bda5ddc7c6075957 2095 coq-mtac2_1.4+8.15-3.dsc
 5c4121c769d0093b0e2a902b63e945a56277a73fbd390f312041c7e08ba93c09 2404 coq-mtac2_1.4+8.15-3.debian.tar.xz
 1c80dd746afaa03b9bc86b8183330753c37c8be804bdffce274f95b6fd1c96b8 6985 coq-mtac2_1.4+8.15-3_source.buildinfo
Files:
 b9ee81f3eae70b9d0e003e4fcc48e1ad 2095 ocaml optional coq-mtac2_1.4+8.15-3.dsc
 399f3462c2213de8f9c9dc8142c8412d 2404 ocaml optional coq-mtac2_1.4+8.15-3.debian.tar.xz
 59f32e585945631fb3484cd009c376ff 6985 ocaml optional coq-mtac2_1.4+8.15-3_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmLvXmQSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRczsP/joGxxAjBrgM+uLZdbM4Nr3lxDr93IgD
6kb6S/PDnVWZDSdTOmgk5AKxcNLBCIl4jX0zaGsbi04FurP8Bd4zXzs+A5i/8zsf
CzHOtufluUw3F1TWFgqqin9YoNEkA3SteePexdgrRRYEFXotOVC+nIELPCerwLU8
k4sUMPFw8EjTkTawdzMzMe80DT3zc88cDv4obp5A20EhTRkfkGc8QGqvtgUfCnh3
m9AP2zjnmm6nbjVADsqQZMY+C6Rfa5VjTSw8QBtA2gr6ubUGLGY5TEwC+sgHwB2n
mo8bmHAEUEfvgpGfYuIA1SbbyLDw6MZ9NDBaSCO0vC5ijSsDDzn69V9n+or+3pj4
unb5xSdsM3wgeWUG0jKUw2IwYykuXZG8r0ER3+zeNEXmIm37k5eUZm7KdHX4Nu3n
1Mhc2D/zyu7bFuAWQs3jsalNdCtRWMJsJQZOxG6A9Wnhtf0LUJU7nMSm9JhASL4R
bA1W0jnjxgTTSdvZL8HsqzQktEZU9KOJqp0eWxnC/42tyuXHj8ZdjAFxfpXRMzrQ
ghlFIUPqcfqasV71ngt+pQtC8asixgloA8u9YXO+BokWHNJeUkjIbHa4juoaXmfs
gRJ1CPTVy6Nvr+Y3m3xnqIwcPQ4fjc4ZN1m/gvP2fkLLijY5jawO6Kx7kMC6D5Fg
ftc0oUy3OQ5P
=KYFl
-----END PGP SIGNATURE-----