-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 10:18:33 +0100 Source: coqprime Binary: coqprime-tools libcoq-coqprime Architecture: source amd64 Version: 8.20.1-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: coqprime-tools - Primality certification for Coq (tools) libcoq-coqprime - Primality certification for Coq (library) Changes: coqprime (8.20.1-2) experimental; urgency=medium . * Bump standards-version to 4.7.2. * Drop useless dbgsym package. Checksums-Sha1: 2f08bab933f825b8fa25f344cf5aa6ed3d6da1d9 2178 coqprime_8.20.1-2.dsc f0039364cff0ef63cf9b052a46cd576d9bcb1d34 3540 coqprime_8.20.1-2.debian.tar.xz 59e74d873dac9ec9c978d0d6e60b6ef3d367fb2e 143380 coqprime-tools_8.20.1-2_amd64.deb 1c6129b5d55916357d6f9c5ca2617b520f14c0cf 7214 coqprime_8.20.1-2_amd64.buildinfo 077a18dea54f20129c5868fedd93b643725d88c8 1787756 libcoq-coqprime_8.20.1-2_amd64.deb Checksums-Sha256: 657162e3fdbe629b06d511477ab88f0bdb430c1d9dfdea29c6ca9d11e1811000 2178 coqprime_8.20.1-2.dsc a54c15e930db097fccaf5f3f6416b15e0a4ce3a06faf4e0cbd34ecdfb0d415be 3540 coqprime_8.20.1-2.debian.tar.xz 11b1cfd816562cdfab5e62691aecd224eb9f726bf3962e35e3b9a0063a08bcfc 143380 coqprime-tools_8.20.1-2_amd64.deb 00463faacd3f0c24b866e18a2497fa0ac151bda25b6a7c45a6515eec1a52d4be 7214 coqprime_8.20.1-2_amd64.buildinfo e2ad3f4626bbe7787868c66a65fc932fcd79c44f4402cc45b02b8b85dc4497e8 1787756 libcoq-coqprime_8.20.1-2_amd64.deb Files: d0b73c30722c1714db4dfff52c67f5b9 2178 ocaml optional coqprime_8.20.1-2.dsc 2df5acaf744ef3c6c5b57ed82b981ba8 3540 ocaml optional coqprime_8.20.1-2.debian.tar.xz 29f877ce0a77a5e3d8c17322b6c5a75e 143380 ocaml optional coqprime-tools_8.20.1-2_amd64.deb 6753436cd38feeb35b6fe3832f9f1379 7214 ocaml optional coqprime_8.20.1-2_amd64.buildinfo c4fdda07602f03e3a4a598f9a0a9e0d4 1787756 ocaml optional libcoq-coqprime_8.20.1-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB3UwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbyJD/953wu/9aMDBYb4mUmrxJYv rB6c4GDe60gPAaApZpjn8Ud2XKrkBKu4MzpxsIfjgRi/hIMJepDYiazjBAn/CStE QGzONpX2Zxv3Mkou6hOz3E0ZP28MYsu3roy5xsAdoY1gwScryZ8vlcoqtLFpJLkm /9Ha+fx8oSw5P1VzXunFhMDV7Fwq7gXlVAIaADOc8PfmJvq/zTviabRaAzbrq+FY 5tlZrCWA41wWzP9G2SWKzjzHa0Ammns5BUsItnCT5fWJfVjRgHZICaNybuypxMVH +sJSzn+43geNZ1Lvslc+s2H82sVnkxDHIqdC38cFeQYVK+/9ghUFLAT0WSSdwpdg 51DH0oENYngmUtgA72XvmVhqYVcm/zVqwsxmWanf4w1oxZ7xU79M+T8RCEIArcG+ JlPNnSH9iZoMHvpv14gfhoIvprHwvXjVyNW81ryQw5n0iYQCY0HorsmeumhJKE2e C8DBWJ3t0dzdwRjYNyPo5/+In6ZWKOguIn7iK5uzTgFhYR4XAMtkT6JsX75j6GGS 2tgma0Cq/DN479dHIT7QQCF2TipRmMUfd9ZL8H7d0XsP+J98sdZPopJ379wjgvf9 /j5B7JCZ97jo8sV00OA5PqiqCCbCr9WiTGrgjlAQiq7uRPZx02+IB0F9R/3kCAj7 d5K7bkiUz3P15FLk3UKTCA== =mI8e -----END PGP SIGNATURE-----
Attachment:
pgpRaClooEQfq.pgp
Description: PGP signature