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 <
[email protected]> Changed-By: Julien Puydt <
[email protected]>
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-----
--==============A90750454701073983=Content-Type: application/pgp-signature
-----BEGIN PGP SIGNATURE-----
iHUEABYIAB0WIQTziqJOuF8J+ZI8pJSb9qggYcy5IQUCZ0H5lQAKCRCb9qggYcy5 Id0cAP0QJTv+J0qvB4iXQeB5Eo9ICsZWlkyZ8BbGJelgpgcC6AD+PlSqVLMs+4+h rVIjpzGo/mNyI4gc3JnXfeNJXhkPIw8=qAT2
-----END PGP SIGNATURE-----
--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)