-----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-----
Attachment:
pgpOICKURKpF1.pgp
Description: PGP signature