-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:38:02 +0100 Source: flocq Binary: libcoq-flocq Architecture: source amd64 Version: 4.2.1-3 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-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: 5b08bce6658a8416446f7a156acaed2db8ea7ad5 2040 flocq_4.2.1-3.dsc c1b24c8d8335909edd6d845da6b176dc78395fad 2056 flocq_4.2.1-3.debian.tar.xz b712b8695b8301a2f6d8bed5c88c6dceb8f1f8ef 6769 flocq_4.2.1-3_amd64.buildinfo e2d0bfb72966593d558c9d96def9160b8433540c 3462156 libcoq-flocq_4.2.1-3_amd64.deb Checksums-Sha256: 510d5243b3390f296c7157a7c023120105c70309796ed668ef143653e113250d 2040 flocq_4.2.1-3.dsc 1333c5bd9d7a0ae7e6fd4f2362d346b3934f473340dec283e6205cc8761654e8 2056 flocq_4.2.1-3.debian.tar.xz a2f714152a17df9380cf478e119aeedbd15dd6a0bf22fccc092d1f52b9f1c6f4 6769 flocq_4.2.1-3_amd64.buildinfo 28a70340082aa8531058ea4ab9322645afaac3d44c8acf72358beec94c311d8e 3462156 libcoq-flocq_4.2.1-3_amd64.deb Files: bc487a6eef4bd7c652a85bd448106643 2040 ocaml optional flocq_4.2.1-3.dsc 5478ff1661b0bd5e75f654877fe20ca8 2056 ocaml optional flocq_4.2.1-3.debian.tar.xz 53b20531b190e45b2afa51dc41080f2a 6769 ocaml optional flocq_4.2.1-3_amd64.buildinfo 979fe936e6527c272c96a5a9357c7126 3462156 ocaml optional libcoq-flocq_4.2.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTfQAZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYPWEACRpELo1OVOSLbL2ieeiACS Vd6oVPN/CBTEYznS6DTqJxgjDD5mZ+JeBvBs+fBaidZYXqXooYqOOJf2gYOrIqaV wdjqy7lNKqUddS/csx98FeZDk6NNUo2h89S9VI8BEmBTvVQuBGojCbno7qVbaEho Ui3QYv8S86DyvlC0580Y2vMl/pve6559XN8STZc0ibuSsFVnjxZZInD2Ml95MT6J doeC6cJEtcGo9OV3sn7tYmwbIqaCEUfxJRSmHut9lv1vntjn13LQShmWhoU6WXkT Umf8e190b+oQVYJdODuFVTquA4pS45yf8oI8XRUCUItfaLOvoP+fkfZ47B9X23H4 KmLmk0VvLofph0kkjFoCRxYPbBI7tkXRximzGZk9ZriQXn4k8UiUzFSvwKmZZSPJ 9fncKSAb7odvOI/e3RGvg75KZlXgRNORmi/HJh7xkFDRoUlmK3k7LI6X8PUEwpY2 OmJ4uv7PvXN/QLwY4ztoElnYFwqGWGtV5peNOHLOHSKuDT2UiCeACBe9Ocnw4tLx +lILx6neoQ6zQAXdfyYkHeLqvCFKhb2hXX3LbHgOAIDTffbHiJL/U8SagxOi/XNg 8RY190t61J/SQ7Cu6k8t5avcMhs2R4N1y+KD2xG4lMF+KP/dlzexoPMRnJf+Cw08 kJIrAwt3nG4n+nDsE9PY1g== =vTBd -----END PGP SIGNATURE-----
