Accepted coquelicot 3.4.4-3 (source amd64) into experimental

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Wed, 15 Jul 2026 15:16:42 +0200
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: source amd64
Version: 3.4.4-3
Distribution: experimental
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-coquelicot - Coq library for real analysis
Changes:
 coquelicot (3.4.4-3) experimental; urgency=medium
 .
   * Rewrite d/watch.
   * Bump standards-version to 4.7.4.
Checksums-Sha1:
 eb3d5b59c62920f2dacceca198e7060ec5035e99 2107 coquelicot_3.4.4-3.dsc
 1a0d4559a3db0661aee2238e117a133ad2e12fb0 4224 coquelicot_3.4.4-3.debian.tar.xz
 c553bf8a8023d85469ebce11b4c75c0ece5ae1b2 7639 coquelicot_3.4.4-3_amd64.buildinfo
 bab66dbd6dc0c699d5f63c3dcf7bf0b971e49fd8 3345184 libcoq-coquelicot_3.4.4-3_amd64.deb
Checksums-Sha256:
 28eacc9fcacffe22844fae67472177b0786ce4815ccd360cb9b7c6be0bbe33e9 2107 coquelicot_3.4.4-3.dsc
 6cfbadd7b42a9943037f69f4cc93e8862ffbe1ab7105ce601c6a17a8c52b5349 4224 coquelicot_3.4.4-3.debian.tar.xz
 b90fc8d6f19a658fe791da7cc3bc4038ce86bf52bfceeab7e72d18a2c37729a2 7639 coquelicot_3.4.4-3_amd64.buildinfo
 750766df649484aba2f604d49ad8a73883a1d3dcac459f21b0bf711d0431f34b 3345184 libcoq-coquelicot_3.4.4-3_amd64.deb
Files:
 0897c57c2546868dcf3b007f02087ed4 2107 ocaml optional coquelicot_3.4.4-3.dsc
 dfe66deb7704ec317dd761ec4b7da790 4224 ocaml optional coquelicot_3.4.4-3.debian.tar.xz
 c640508d444a2099fab410e15b841653 7639 ocaml optional coquelicot_3.4.4-3_amd64.buildinfo
 42812bfb2db124a2f3ed699a5c1ea519 3345184 ocaml optional libcoq-coquelicot_3.4.4-3_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpej20ZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUU1AD/4jprqmEGfC09YVOvKT2n1R
s1KDWUg9eSfjNX+3PsFRzLmsETzNQz6NX/b4nZeIMc235/CQOsOPE+EYbowzRK9o
EPjTQ19tAWi1VuQ0+PmlI+h/CKDXoxBjAz7ApuhC78L6g66X9rZedskJ/NyRJVuJ
eaWslTOH8p2tmUfycnRIMe7KhDeSbq398KMdz5++F1oOrCIb6FOihkDRftAhK8KO
d/tLUR2HVJAqwE/BsiX35ttWX5gfnGw62YkmOPzHJOlW3MYkn5MlPGRZR9//JKTG
xB81qqduObMRls5uwTkrjlozMSJOXLj9ZujrhO462h0h72HPBzAQ146e01H82TCE
3CzjZQRAZwxsB9WvUsZhEiw46y4WA4ZnMEzsQMSUvWYW6dEex5DkfaGVeU/QcFFA
Pmd4maJ7gIX9wNQXuB0FZZ8XjI/1a2lFERIOZ+Lt9VxmrWmFRZU/prR1fqFuRPvx
GbPEzdhWdoIvtxk5SC1FEeazLUTEoatiXfkhn8jUClDCrBCi71XG3kdIdhl/3Q36
LnPqbHJpBxMXvaaWsfKk6VKz9ujG86am8e28SehwdnCFOJ3/GizAQwvdUkLoP9tA
MAFMIX4si4KxDEyvtCJkUhzqn1VPoEnUwnX0ov1mcODgXEzLLXMJyKRPx35I/AN0
D0EzBItHNUH/21aaIycYRA==
=PN41
-----END PGP SIGNATURE-----