Accepted coq-record-update 0.3.4-4 (source) into unstable

-----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-----