Thank you for your contribution to Debian. Accepted: -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Sat, 23 Nov 2024 16:27:38 +0100 Source: coq-record-update Architecture: source Version: 0.3.4-4 Distribution: unstable Urgency: medium Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Changes: coq-record-update (0.3.4-4) unstable; urgency=medium . * Fix autopkg test. Checksums-Sha1: 8a123afd2964cd57790867fddb9dd6b595d0a0eb 2148 coq-record-update_0.3.4-4.dsc 10ec532ca4ea95b74113257c3054c784a73c1483 2176 coq-record-update_0.3.4-4.debian.tar.xz 7b9da32efb8b4cb6158750687c7dddf4aaab250a 7156 coq-record-update_0.3.4-4_source.buildinfo Checksums-Sha256: 57fdf3fe6576557252e4164142530ce98b30a01ca32f63b6429e2743afc0a859 2148 coq-record-update_0.3.4-4.dsc ae44430f790712f35b571cd36a1024d4e3058139d1f0d315a9ecf446c88dd371 2176 coq-record-update_0.3.4-4.debian.tar.xz e6d0cecbcefc8a3beceea87c39277fa3759e6b3e4c3ad03ce022d816c5cb9ba5 7156 coq-record-update_0.3.4-4_source.buildinfo Files: a3ac3acdfeb1f1049af02ddc9a98b76b 2148 ocaml optional coq-record-update_0.3.4-4.dsc 60ee0f68f7bc699c193a867ddbbc9b7f 2176 ocaml optional coq-record-update_0.3.4-4.debian.tar.xz a13e69e59e726542760cb3d2db2b3961 7156 ocaml optional coq-record-update_0.3.4-4_source.buildinfo -----BEGIN PGP SIGNATURE----- iQJGBAEBCgAwFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdB9KkSHGpwdXlkdEBk ZWJpYW4ub3JnAAoJEATFO9f+AwVRq2QQAI1SUOWiU9X2z4JqDL3cqPNiIwZg6HV1 npDOGsCq7SeGsG7+gBlnoTVIayjBPmVmvRubwaGxPFDx0VFL8FhERIYtxwigwQhW 0QhHdmTZsA8G1hmzRPzqV64FMh2zo8lWT+hN8yxnTg8Eh3b0mfgzTOELfND6hzXI 715rE7Xc8Ec6BBr41Cy2Vx6+0FS94pMtmWLIZtesCg0qxXjo7JwEnPGeA6FrJJCB yu1UOJ3D8X4L+T5TMIcPSJMHDfNw7qpEfyE80fwDG9Tym5lq5C9/fDFC+daCU2MF ZmfQrjLsg56BRFF068Z/aZGhP7LqTrFvTFMUiVnLkvCnVlUnSuJIRBn6ReLMjDxr ec5TD2sb2pkh7E5qL6itGGt/AdFsvClZ+Hril2zQz3pEGD6WVROnKUBXU8oW34wn 20d3eo+kcqCfb14Vm8B/j1KUZiolv8hG+KGf/ZW+rALWv/AS3jIkdwUg+ntO0P9D saqqVPY3tpVbtgyR89id1+RDgUw8i45BypdWHfKVBSpDym7N7K6FhUA981pEkb9m YEcKgeIREkrbH6uUeoA6kXMMNQ0oRVQoZR8Y2P6qO9KHkGedfd1mM1BzTFrXhdmN 1B94yY3AucUWW5Pu8VFBGzNkORicf6NfK79S9d2fsghxNAMga/8l6FGlH5ttv95c bdZJ9kLiB6Tw =7v78 -----END PGP SIGNATURE-----
Attachment:
pgp6OIJMyMKfa.pgp
Description: PGP signature