Accepted coquelicot 3.4.4-1 (source amd64) into experimental

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

Format: 1.8
Date: Thu, 30 Oct 2025 08:01:03 +0100
Source: coquelicot
Binary: libcoq-coquelicot
Architecture: source amd64
Version: 3.4.4-1
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-1) experimental; urgency=medium
 .
   * New upstream release.
   * Bump standards-version to 4.7.2.
Checksums-Sha1:
 a674da210ef2ce97a17b82a3e91c4e57ddd0fcc1 2100 coquelicot_3.4.4-1.dsc
 f52a3deef459990865595713b4ffcb07cf9c4f3d 230315 coquelicot_3.4.4.orig.tar.bz2
 5a6f60e79977b3b54969aecc85e787b26854e2db 2360 coquelicot_3.4.4-1.debian.tar.xz
 249d959ff8ef3b41929d862acf91608f05068cf4 7412 coquelicot_3.4.4-1_amd64.buildinfo
 beb932d9801e4a548b514b4e1a0fdfef6482d47c 3388656 libcoq-coquelicot_3.4.4-1_amd64.deb
Checksums-Sha256:
 2a23461698c222f5a358ef7c5cca9e71f5bedefc5368f410242565b4a6995c7a 2100 coquelicot_3.4.4-1.dsc
 be448954128140e953ce1cb58746cd6544df1ce4ba3a755006a5334d77d540a3 230315 coquelicot_3.4.4.orig.tar.bz2
 74e9d707f80ef254420cabbb9ece74bbe118806fb08d28856fe8e7fc53062f00 2360 coquelicot_3.4.4-1.debian.tar.xz
 cc12191080466fd2c22ec386b3460af599e4bf79267a21bb01299f182b2d8d3c 7412 coquelicot_3.4.4-1_amd64.buildinfo
 daa5f5c71b9b356c23a30fc1ad8718717171fc185775357c05dfa70e6ac12412 3388656 libcoq-coquelicot_3.4.4-1_amd64.deb
Files:
 340fc2ffb55c170ba821a3e6b4a23e33 2100 ocaml optional coquelicot_3.4.4-1.dsc
 a1470711d292a2e58af32e536b6d935c 230315 ocaml optional coquelicot_3.4.4.orig.tar.bz2
 96167cbbd3587d5646f54a570a0bbe4d 2360 ocaml optional coquelicot_3.4.4-1.debian.tar.xz
 945b1b17e2a2247019d8b6973595ed7e 7412 ocaml optional coquelicot_3.4.4-1_amd64.buildinfo
 ae1ec0d7b4f2549e5ec822aed7c460bc 3388656 ocaml optional libcoq-coquelicot_3.4.4-1_amd64.deb

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkDDsoZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUXbyEACIEFIRXPk+IDO+aO+ebxO2
hzryBvKocZ7yG6YFkoeqM5HNaZ3xzLzAdVAtSPTkrpiXT5HX75UxzOg1eJ4AnVEi
I03CDgFxFVpNoRm28vCSqobgzmLSGvgI/xf93JlZwrfcRCp2PRMX6ETvaWzarhZC
xMiT2qtkI0Uq/pcLAXXxkh4qwbwoX7DeHJln0OcHYXy3WwJDRz5CZiuXK2agfJu2
srUsOqg7P0iSex1jCgp2BCfwAAbVumkqINo3PG+vsRzCeYmoFCvVLDE53Fkd6XRq
q7EnMabp6OfNaWVLgwhKv8Si8MXwVlhVEf1uN4uaqekjKQJ894upHCBK252jMImm
AKTfI2EPvbeDnEX/ssocEsqMG5VNNkeDujWPcpqttQNnl875BE3ZgbgYrcBEJew8
Pqeru02FOTl2RwCpkZPX3naGzRnQvj/O+esrde4Ph5qslJJouvTGa8CP9AdW+0Y+
nQk7/z2TnIUiw14wmxhETZyDK+8olbWAuPvpaEOWizL2CU19wjugCGiUIJpcKT+m
jKbwF00AIuJB60XlxNDIjCAm3nLC5nojmXahxC69LudG6W+XYYOKi21p5Tbxv2YY
/fqsvs6C0NRisUru9eZnVQ+vtq/WbkCanPwRgWFg926Pxtfo8m5mIwiffR5WLngf
K+kJSpRalMDBd6B3gog2sg==
=l2dy
-----END PGP SIGNATURE-----