Accepted coquelicot 3.4.4-2 (source amd64) into experimental

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

Format: 1.8
Date: Tue, 11 Nov 2025 20:34:42 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: source amd64
Version: 3.4.4-2
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-2) experimental; urgency=medium
 .
   * Strenghten depends on coq/rocq.
Checksums-Sha1:
 c437fecf64f88b7fe1898052e7060cf410741b3f 2107 coquelicot_3.4.4-2.dsc
 f56d02a0d9efa1b6a579c53edd006f992c50a170 2400 coquelicot_3.4.4-2.debian.tar.xz
 640e634c63ab12d0e6d0202773a947cb29c6899d 7409 coquelicot_3.4.4-2_amd64.buildinfo
 75b846b1259579007c6d95d2db8bb67ed44bbb96 3388372 libcoq-coquelicot_3.4.4-2_amd64.deb
Checksums-Sha256:
 e765b3bea6afc64c6a044639f11cce12a4b6441549d0cbd257138bb88cd78036 2107 coquelicot_3.4.4-2.dsc
 2f604976ae0449a32f43637d3862cb804a70b37dfdf4d721f585b3747eceb079 2400 coquelicot_3.4.4-2.debian.tar.xz
 d0e8901f63c73b241420e84a5b683d9db428cd117e44b90ce9e0530daf92e3c2 7409 coquelicot_3.4.4-2_amd64.buildinfo
 c8617ea06682ddf949e44f5984ccf5ca1c172c194e80b8a4647a8496592b12a9 3388372 libcoq-coquelicot_3.4.4-2_amd64.deb
Files:
 89867a9ef459b03cb6d7c98532be7a0c 2107 ocaml optional coquelicot_3.4.4-2.dsc
 cc6cf2017d618ba4e17de919883ab298 2400 ocaml optional coquelicot_3.4.4-2.debian.tar.xz
 2b99d76c587dacdb40d223c96c4e415b 7409 ocaml optional coquelicot_3.4.4-2_amd64.buildinfo
 6927aabf2d445fc31d4640c5d015f3a2 3388372 ocaml optional libcoq-coquelicot_3.4.4-2_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTkSUZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUWSdEACXtQg3sWcAhoZWQClQZYq+
D8/S+TJg7IVdI05583nNCOJe0hwMHS5Joo+pZnstgX+eJY6NyHgnK/Rmvh6tU5uF
hFqBaoMkw4gNR7guoXpdjvBZgslbcU13X+0hz1180AiDUCVP4uoOxBtdlbpgExQy
vTZW9tBPCfbW61hEBgdiRqnWzLbvQxthwPXGZtZLgFCco/wxq9AFiBLsYf50z/K7
uUht8nCbZe2gtWj0zioLsyTX3AoWTKgmtm66Nvp/sgGLVf6+qHF/vx1q6gKVBRxQ
Q6Nr0hMzbLY0zS3jG/gZMYnSocOafSAMskwfhO2/34Hq+pI6v+NEEd7GPnjptZn5
vjuRfzEtiDjlD1JfRHZeTPC3iHdq8V4bbWingydknQvvI3LGrk2dA5aLIuXRmkLO
tmrfhaZdV1TrywY+plrlQWSraY05vCVm+7uev9lK8mVkXsj+pOsQJY8eJ4ANBjtz
ABXGftmW8aC/bOTcvfm0hooPWrmyat5cAIjkjxxtp6rvr1scsQWD7lwVVl20MBi3
l4oEru9K2hCDZFTVnQGQXh4AopO/6Kr/PYIvsRkaETzzhdSVPdojdYTmHj/KJ0Kr
pxzaMu3+NY1fzV9ci1Qr+bkOyHjYfwFk8KjUNv8PXLz/tW9Z9ToSYj+JgdenW0Ko
6sEiJLVynrPpzv2QGfextQ==
=76QN
-----END PGP SIGNATURE-----