Thank you for your contribution to Debian.



Accepted:

-----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 <[email protected]> Changed-By: Julien Puydt <[email protected]>
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-----


--==============�21013699783656072=Content-Type: application/pgp-signature

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

iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ0H2BAAKCRCb9qggYcy5 IdoeAP9wpdwJZn7J3qF4XYVkQFs2jyv0uf4+YqUMorl/5AuDuwEAloObCiREkcF5 sv9ueFfmngkSuRsboZbd++7n3nSI7ws=OO8i
-----END PGP SIGNATURE-----

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)