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 <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-----
Attachment:
pgpQ2RJbaodOn.pgp
Description: PGP signature