Accepted coqprime 8.20.1-5 (source amd64) into unstable

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA512

Format: 1.8
Date: Thu, 23 Jul 2026 17:44:33 +0200
Source: coqprime
Binary: coqprime-tools libcoq-coqprime
Architecture: source amd64
Version: 8.20.1-5
Distribution: unstable
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-5) unstable; urgency=medium
 .
   * Upload to unstable.
Checksums-Sha1:
 3da910b25b6343d2decde94f89863c526a522bcf 2185 coqprime_8.20.1-5.dsc
 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz
 6265451f423840bdbdd3781856b0989c5aecd606 3920 coqprime_8.20.1-5.debian.tar.xz
 d0b46888a410045b1ba1e656d0a1e1f9c4af32e7 145336 coqprime-tools_8.20.1-5_amd64.deb
 8344c9909bd2609d0e3f78c343a8034f659ab3df 7328 coqprime_8.20.1-5_amd64.buildinfo
 1be57448b7bf2acf228d0a8d620dfd67360dc6f1 1770896 libcoq-coqprime_8.20.1-5_amd64.deb
Checksums-Sha256:
 44267804bbabd0ed1ff4676d1ff10ffab086b625d53064bea73c1cde6af4882c 2185 coqprime_8.20.1-5.dsc
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 a7e8b0c82d7855d051196993a480eee9a759c2eb8459fc620ca00cc2a5c45978 3920 coqprime_8.20.1-5.debian.tar.xz
 108697c31c01a45a328c0ebc761f5a9458a2a7722c18c3ddf7e11da3820acc29 145336 coqprime-tools_8.20.1-5_amd64.deb
 d7094fa36e486f076fe15b56d3fd1c63a9371d10bff7e1b16f98e2a91553a6f9 7328 coqprime_8.20.1-5_amd64.buildinfo
 2e8cefbf0e8222ee0e2b581af3580675c0353da7f662ad69f778bad6fd870075 1770896 libcoq-coqprime_8.20.1-5_amd64.deb
Files:
 9f47b490b02547f8f4954d8fb1d882d1 2185 ocaml optional coqprime_8.20.1-5.dsc
 32693b1bb28ecf2a0847bc583d15ca4c 996557 ocaml optional coqprime_8.20.1.orig.tar.gz
 7ec26987bcbe069742cb72b693ba6345 3920 ocaml optional coqprime_8.20.1-5.debian.tar.xz
 533e3b3b1181d0b0d2185cd1538632b8 145336 ocaml optional coqprime-tools_8.20.1-5_amd64.deb
 0ed93b6444bef6685b419ae8f1c2ae27 7328 ocaml optional coqprime_8.20.1-5_amd64.buildinfo
 43ac3669d27ba82ba85692442448b62a 1770896 ocaml optional libcoq-coqprime_8.20.1-5_amd64.deb

-----BEGIN PGP SIGNATURE-----

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpo1/UZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ+NEACbKs//Rvg9uiAXjD/eCMv4
NakqoYD5/UHjsNDc0DwwecCOVdgSTylMfRIcU2n3Xyfsa4RjF0Z3vvttVZx8v1fU
PolOO6mG9a1jgexic2ZQhjx3FO98E3pwZKezsxlOoNyaAeX7cLVTtvCilgvBrvTL
h6qtM4IOPtJhtwJvOuy5HaLTpMCobI2hvstyD9aquaHf8tOwwZwb4IxqY5XJ8W1A
3ASIQXYk6I+m9yK9zLTnpMQe2aYK2e/O3v4CmUx7uAk83kCszceMAF3vx630U9iM
woWjpKK7YpLHkz4wBEAMQLrZ9LyP5T+jXp3Gd4srVKDCDUuO0lNNstKhBAELAO0i
DIUF2HAnWmKVjsec9LEraX/14a7eG6BB1qtNqj7+zE5aaG6tz2yY1Hjmg3/n/VIH
Idjt+hZmCrtaUNpt98gxg25F6rjUt+eepBzjX4M/swD74bipXzrD4IBgmT1KVudd
ZvZsIUKIB8plZjI54iu5lDzgACN7AcTn2851iO9nUpTDs1zyoZTpTgP+ARcqTHb8
Ttvwin84gAs4SItv+C586S/TWJRHj/H0mrHLbwIqoXaOCyJPooS3AsACWOKlZtpZ
4k2A6Ik+qy5JKAfS9P+YlqKsVcJkegF4dZZML/nd2/SkfDWg2JFhaX3ELANKq+eF
3B+OqMdcBCyAHYMwVQdeyg==
=9NBO
-----END PGP SIGNATURE-----