Accepted coq-mtac2 1.4+8.16-2 (source) into unstable

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

Format: 1.8
Date: Wed, 25 Jan 2023 13:08:28 +0100
Source: coq-mtac2
Architecture: source
Version: 1.4+8.16-2
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.16-2) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 f7ff656273f859b1c977d6ef1858ab9c0ef9c940 2100 coq-mtac2_1.4+8.16-2.dsc
 5ff51e3f8863edf39e9e370a849a1eb5e5839a5e 2480 coq-mtac2_1.4+8.16-2.debian.tar.xz
 d68df05106f4d81b1ba46371042bf07a01eacefb 7425 coq-mtac2_1.4+8.16-2_source.buildinfo
Checksums-Sha256:
 aa6b39df5bb89ae2abfb7c3038317acb4099ce60ea8386d037586f128e43bb58 2100 coq-mtac2_1.4+8.16-2.dsc
 2d80fee8793d04660d0fdcaef8336a6857d819392a8507cfd8665dc6eb850287 2480 coq-mtac2_1.4+8.16-2.debian.tar.xz
 dcae218f658ccc92d9151bedee443c3ab49e1f9997e19b3354f3e42b1451d01a 7425 coq-mtac2_1.4+8.16-2_source.buildinfo
Files:
 ea402b9ce0aedf2229d95a13e00f1fb0 2100 ocaml optional coq-mtac2_1.4+8.16-2.dsc
 64e2a759658ebd074f57c70290a58426 2480 ocaml optional coq-mtac2_1.4+8.16-2.debian.tar.xz
 4a7efec23bad64b823634b3da3684164 7425 ocaml optional coq-mtac2_1.4+8.16-2_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmPRG+ISHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRB84QAI5OfQgseb5XP8itFkQpmeI8FCD3WcKP
Z8csFTbf3jxBvdA5vSZnmOBzes8kxZ5R5lRvOvk8Peg8CFVRUyhjQUFpuHBjuItT
39pE9HczJVRb4yVtFO46Yxo9astsYXCWVBdmitp5odmbWZ2j0PFkjGZ0VhsvgDqO
BJymYXOO4IC8HLmH3NwznyfFYJ0pY0317XmZq7xfedrgSmVn83pHnLsGtWs84bew
UAjVay6/fksRoEBesaT8v4aaOlbS0ctAhkK5UxhtoBQRvDIphM3FEJJAYcjEUfdH
71OiH7T9rLzzTZt0oFsWDh83VAC5AM6EKfx3hlJL3xwUXBURbRp1pz7b5K42VK3o
XzZtu2sCKzZKWdOhGHaIZd8MxjvXQDS/0N8+nZfX1BN4UPWlQWPvSBBVhhAklGBg
mX8+JkavB+Bfc6vcIjg4NVyh3pAuwn8bSwBM6FvEHO3MpejC+4WqZsUNU5Adfgw6
ymNzscVuszk4h33Baiijg5w0BvjYSR8Rc8Dfz3UAdeDY9R0AhisQ8y+qYkCMK4Y2
7WXDahzfFQh+Hacy3iZ8kFcucjWyDkE84UIz4SWlNVOnTMO3pzuAaNe2zMDaLtzH
jv8KV+KKQSm7472piQkqKUMvwgg+S6+W8PIPr5SiV64u5E2ru77Gs+Sm2K/xJNOF
OCYmY9bwZWy5
=axkW
-----END PGP SIGNATURE-----