Accepted coq-mtac2 1.4+8.20-1 (source) into unstable

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

Format: 1.8
Date: Sat, 23 Nov 2024 16:12:02 +0100
Source: coq-mtac2
Architecture: source
Version: 1.4+8.20-1
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.20-1) unstable; urgency=medium
 .
   * Unbreak autopkgtest.
   * New upstream release.
Checksums-Sha1:
 b773e57ccb61b4be8074b3e4b4e3cd033b1ad61b 2100 coq-mtac2_1.4+8.20-1.dsc
 d64ca8604cd4bcb89518d6c81f96422fb404ea7e 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 425644da2df91ec296c70a0145fb58ad24c2374f 2924 coq-mtac2_1.4+8.20-1.debian.tar.xz
 78c3003c80b1373abb7ec43ed7f0e1ed4ec3d7d9 7167 coq-mtac2_1.4+8.20-1_source.buildinfo
Checksums-Sha256:
 9b2292e2662940ff8fd634185c90944ea2ffa552a615a4931f872f3678626a31 2100 coq-mtac2_1.4+8.20-1.dsc
 7186069de5599670b37e58f456c7243520afa997668278ee1eb3a2ebf14eaed3 252390 coq-mtac2_1.4+8.20.orig.tar.gz
 32d63f6f122bb1ecd84052381f7f617513d19161d2b68e51549c4c9523199a86 2924 coq-mtac2_1.4+8.20-1.debian.tar.xz
 773ddabb4d5e1bae42d753c6a01938643f6963d494f865ca4c7558808ccbe641 7167 coq-mtac2_1.4+8.20-1_source.buildinfo
Files:
 09c67f45a85b0cc09b7e6f8eef8dbfe1 2100 ocaml optional coq-mtac2_1.4+8.20-1.dsc
 b2f719ba452e18f8c309f5f69074e640 252390 ocaml optional coq-mtac2_1.4+8.20.orig.tar.gz
 26e75ae9ccf13817a044f4ab8f485774 2924 ocaml optional coq-mtac2_1.4+8.20-1.debian.tar.xz
 886fd79a042363d4fcdfa14ae8906554 7167 ocaml optional coq-mtac2_1.4+8.20-1_source.buildinfo

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

iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdB8YESHGpwdXlkdEBk
ZWJpYW4ub3JnAAoJEATFO9f+AwVRfPcP/j/Hg2+03h95PyXFh1vh6i7NUmg8MLG0
xzIPgLVT5NZQkGLAQNPAB0hkVULJ5xcGEYgyI4Gyqt9m61ztYlLf1tSlvyk1eumU
aXrlKr+TQsFVGZFJ6SEkTE16EYU27SAxs0Wwg0NjZgNwHlXYDXVEjX0ZnMb6qs/Z
9W3jMOE3IvErEZuZtLQaZM77NiDx1OtE/ARZeVTU15etI+AyScIqrS8q+QA+mSon
y9/pFb2IG15BzzPb4yOLmWpVY0j5lW9keILRU+xHqH0WpvuVayUrMZKH9SLhudFI
OldirCynNoRulh85h8AHvGbBsJq8A9bnI7MbZ4cz/MFjZe9CNZB7b5x68mBnAWej
YmpVSZkKCAuYw3Q9iHzobCO+Z6JFN2wVnqKi0OiPHiq92x7YowZYdwnT4ebHb9Ls
ONid4k3F5ZrSXIPeYdJpKQ7NFom/XXquRvbWWFZ33WJIfHO8Idgd783g566f1G6C
egDoBBqlr4Kp9eLxnMu3SW1mw+nItjyPsto/KMzdS4kuHMg1ib2UvMGLkNNEshH6
c+G3POMB9vP7+Xbrtak1ORmgwWJwSjl1oWHlZSRhar4/I2UwvTeplvpT3bpZTbDG
NwZPhExg//BK6zc9duErBkKRS3DFQEPQy0vyF9+7vnrfT/GUsGXPlAs+KYg5dTBM
WB6UDoUip0uu
=2vBa
-----END PGP SIGNATURE-----