Accepted coquelicot 3.4.4-4 (source amd64) into unstable

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

Format: 1.8
Date: Thu, 23 Jul 2026 17:50:07 +0200
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: source amd64
Version: 3.4.4-4
Distribution: unstable
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-4) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 2bbac734f4719196503dcc3cd668b5e986c6dd0f 2107 coquelicot_3.4.4-4.dsc
 f52a3deef459990865595713b4ffcb07cf9c4f3d 230315 coquelicot_3.4.4.orig.tar.bz2
 5b4456361780c8fe752d9dbea77d2a523fe43315 4256 coquelicot_3.4.4-4.debian.tar.xz
 208b55310cad2e52a8b89bdcecc3ab7a6a3dbff1 7570 coquelicot_3.4.4-4_amd64.buildinfo
 f42f99bd2260fe98ce34f321f19a52bb68edb090 3344548 libcoq-coquelicot_3.4.4-4_amd64.deb
Checksums-Sha256:
 c52309db40769c9cf1f6fd645b69ac9321302b44d5ed8f752347a63b76c331ab 2107 coquelicot_3.4.4-4.dsc
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 098ccb1dd4ffc170759cfef6531bddab37d1445812d32458e39a817166831d63 4256 coquelicot_3.4.4-4.debian.tar.xz
 12dc734be52c1b08dca5e7d7ceba150fbd42a7740c65b476918c3c6d2d78babc 7570 coquelicot_3.4.4-4_amd64.buildinfo
 e7c302dc086b5efc500bfe081706bb3c7d759b7f22cc7a8949f0df4384d2a088 3344548 libcoq-coquelicot_3.4.4-4_amd64.deb
Files:
 c490e8374de611124ccce3bc46824284 2107 ocaml optional coquelicot_3.4.4-4.dsc
 a1470711d292a2e58af32e536b6d935c 230315 ocaml optional coquelicot_3.4.4.orig.tar.bz2
 c5e8a889cae271c959642d85d12316d7 4256 ocaml optional coquelicot_3.4.4-4.debian.tar.xz
 c32905ff5ee12281168a4d1812806c4b 7570 ocaml optional coquelicot_3.4.4-4_amd64.buildinfo
 0ae7bbca9fbbe5a6afb2571df580693e 3344548 ocaml optional libcoq-coquelicot_3.4.4-4_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmppnpcZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWNJD/4lHD3mlu8rxvpEBkSbB3hQ
LdxvKGciUXv12alYdK+ruePOGsy0w875MEheh4Rv3PblYbgydMYZlaPgL18qmNsE
Htrgv/2hGKI6ilG8RF3rkcNm394zEl8mTcOsVl464r/LisCIuE4QHnlaunFehVcW
P7VUAARWieK6huZRAEQW3VFf522cybup3RgR/FjpTWWEdfuD0hADRb73BPsHhRc5
R94j0QoLM0xB7iaeO6GhorLiw4YGqwmrEocpG82khZLK65Nq9kpSAMQ2Wokb5ZVP
/9VhZsfzcFdW/gU+Gyy5Id9vcC9UEXXBDUwa0svZFP4Y/BF2paTCAGn/RbNxKomf
iPRJzxVfSdP63zSJS76ukuTD/n5eD2uuj3omEpSYdP/AHG4uDGeH7su0zP0c9zD1
jpz3sdbO7dUe04gfx4jNrManJltZyam6qnvvlzpb3ynhw247Q8ID75pUgAtD6NXc
8uXpN0WSYPlLXlD5ciH6/wMnaucfBYOaHFMW9thIcNCxN2l8vL+umKyHYPsdT2/h
KW54Q11rNJicbQdhXNP02IQh9zv2OfMhGVgBP2xoXCXIynt6JS3Aazyy7FFThQ8i
UeWxy39yZlC/r/NC9qYXPIX3xlvp8N6gBxqLhJBR6T5fbfgkH0xgFlAzZD+lxxyW
KjapwjJhbLJSYAZmQKk9pA==
=IoI7
-----END PGP SIGNATURE-----