Accepted coqprime 8.20.1-2 (source amd64) into experimental

-----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-----