-----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 <[email protected]> Changed-By: Julien Puydt <[email protected]> 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-----
pgppjDgl7qVIH.pgp
Description: PGP signature
