Accepted dh-coq 0.7 (source) into unstable

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

Format: 1.8
Date: Thu, 25 Jan 2024 06:45:38 +0100
Source: dh-coq
Architecture: source
Version: 0.7
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 dh-coq (0.7) unstable; urgency=medium
 .
   [ Debian Janitor ]
   * Apply multi-arch hints
 .
   [ Julien Puydt ]
   * Drop mathcomp-abel.
   * Rewrite coq-planif-transition to get a --org-more switch.
Checksums-Sha1:
 6247302d375e10d5286b204320c26e7c91903143 1651 dh-coq_0.7.dsc
 cd6fca0bbc998753cb3cfef08204d75447653d79 8036 dh-coq_0.7.tar.xz
 de449b2ce49b0114e9236d8dfaa099a99725c573 6759 dh-coq_0.7_source.buildinfo
Checksums-Sha256:
 dda3e919a4c9fe7d4bb0bbe86a967951bb76fb7874fdc33e15a0721ae6dce745 1651 dh-coq_0.7.dsc
 e94ae6d0c35e3094ff0556cb14efe0a31a0da8bf152631d6d751cd2a9d70ce41 8036 dh-coq_0.7.tar.xz
 b1b490be928cca5bd10f8938adac4e584f8299e9bccc2662d5cc20a8ccb22611 6759 dh-coq_0.7_source.buildinfo
Files:
 d099c3ee16d14f74455c73b196446764 1651 ocaml optional dh-coq_0.7.dsc
 94177775fc0ef7d348907d3f48d15c2a 8036 ocaml optional dh-coq_0.7.tar.xz
 e96d4d3d300ced2575a50dd8e550d883 6759 ocaml optional dh-coq_0.7_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmWx9aUSHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRBXoQAJuZGLtQE2c0zFnaQhs+YQ8vOeqSQ4Vi
PAzwmRcsUYUvAfbKNEbTzAZQiCkDStyPpdG4xU5A2iYpfq8u7RaZXgXc1uOvBMV/
1eAdS9aBCTWjFGBYJbJpEkkMbVlJcVyWP8XuzAf64IcYpDIRB8Dp+6u7CiGbr1gB
HXvi2qMoouugruOi+FtoF6HnKvZNYDGaGhPOxgnvl56ajiu1Q0dKIrGyF5ZN7AKn
hAXhKR3slj5k7y+ySj6QrpK/VRxzlCc35fEPgSJNSz5VLAymr41XjUxhAZA6+YTw
4bk+c7N3226dlcHnUobIaUHwCgbDu4D9InSFTSjRd6l/4u9ZQlp2l6PWNtwKpGz0
R1mBU6cjwQdh1frk+5IxLMPR5WC/UnNL8H7bsMgDdSbx4HBZ/VSZdC7nNvMWP8ey
E+gK2OAiYWVEKN4sGyvlbXSWv4NH5IFkGnt4CQYrCkWg9MogFjrtum4iwl+RisDf
oSZmsnQfc+CtKJG50l2dJ2duESRG4vxewRsrPrsuc1I/upJH9GWy06uBwOzaNH5m
G7hVioqiWctg+JVVDPc8GHHXLoYLMu6XtsYPAPdM0dnXyVkOfLhXVec1yiK6Fr1p
1wxi9kAZBkgHpjKT0D5dxRYZJwHb4CNwNgv0Y4CXMfY4T1jgM43s642btdhgLQI8
k5nk7JjfM6ED
=uRQI
-----END PGP SIGNATURE-----