-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 09:36:51 +0100 Source: flocq Binary: libcoq-flocq Architecture: source amd64 Version: 4.2.1-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-flocq - Floating-point arithmetic for Coq Changes: flocq (4.2.1-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. Checksums-Sha1: bd9a336007997d083b4a47809f77f56b9bd42f91 2033 flocq_4.2.1-2.dsc 22b037ca89b8889b884af8972047c91fe3840925 2020 flocq_4.2.1-2.debian.tar.xz d46774937faee8c5e3299ac36315cdea07fd9f30 6772 flocq_4.2.1-2_amd64.buildinfo bbf3f546cfef06d91203fe14f9d02013431e3b96 3463372 libcoq-flocq_4.2.1-2_amd64.deb Checksums-Sha256: 24a91c6659781a18e08c1bdb0424a2fbc6859c428c64e8d8c5765fd42e830fcc 2033 flocq_4.2.1-2.dsc fa5982414f5f1e3e27adf0ee9af41fa00414e9fc0b0033e2f2c6b896da0b663b 2020 flocq_4.2.1-2.debian.tar.xz 9007e0440f578986db27396fe8a4d328798027621e48621da90ae7b9a0f4eb71 6772 flocq_4.2.1-2_amd64.buildinfo ee4ab18d38e847ec8607ff029f269d9c65498c324d69b3f1713438445e616512 3463372 libcoq-flocq_4.2.1-2_amd64.deb Files: a6cd17d5a02f3501d595b69921c0cdb2 2033 ocaml optional flocq_4.2.1-2.dsc c4548c71bac23dfc527a41b7bb28aea4 2020 ocaml optional flocq_4.2.1-2.debian.tar.xz 23ec533d4cfca5df173781c89b7fa068 6772 ocaml optional flocq_4.2.1-2_amd64.buildinfo c4fa4ede4df0f20e21f266e5bbf79d84 3463372 ocaml optional libcoq-flocq_4.2.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB1RsZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbyTD/9rEa6HrbgTdk1N1RZxWB3E +fWtyFKXDwRF2vleFepaNjOqjCmNfqvS4pFSGS1mkLsLtnwlq2D5NidWfaIRYONX Mb4aUoTh2FlhuSLPsyQoicuHCbLJMuYOVlhwpLgXaiMfOJBc/62We+XInABGrMoX BfVu02isTcoK6pvNkR/HgFIdT1bbG1wVBqacDQLtRYA/QbBZeq2hYheCVVh/8yEO NE2wsm1FYgjlCo+wmm2BCSPrSvedQqlCgsO6msYfj52Y/J3mOcok/rM6DEckMpIQ pN0TkymApTLfCafqRgPbRBAk1AvG7NuaR71xMVRylDLqxPKcYZILm78FFSPjp0wK Y8QhRoo+T92xB/3uTwA5PjMB3D/Db1LPiZfDDYtEJVbE1LtgEwQytfX+wANRH6cg Ts+4Aw1GIi7RwN76ayb+eUF9gNdYIMUk02zu/i9ZF9XhtUgj7oJf0qmtzrJJO1sN EdSPdFFXHSa7/TIbBgSW3kVm94UllSNgPV+FhDO7UxuJBH823SG/2mcnE8knBOKR KPR2OrLLNAeBnTT4+YUKddjTnjrpHvtxezUcbRBAMi4fVTHTA5mtstH7owY57sCs 1119d4hNpwppEnqjOlBKO/1acbhNl0EOplAmQTUkvz7qpieVi0xyC2Rwc1A+EU6A iOLz8006P+179GIbaPmsfQ== =Bok4 -----END PGP SIGNATURE-----
