Accepted coqprime 8.20-1 (source) into unstable

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

Format: 1.8
Date: Thu, 26 Dec 2024 11:04:17 +0100
Source: coqprime
Architecture: source
Version: 8.20-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coqprime (8.20-1) unstable; urgency=medium
 .
   [ Stéphane Glondu ]
   * Package new upstream.
 .
   [ Julien Puydt ]
   * Bump standards-version to 4.7.0.
Checksums-Sha1:
 05765763861e52c86c05d0b95094ac714f2fa893 2164 coqprime_8.20-1.dsc
 b7385a9401af40507718bbde756bdcec1b5479d8 996522 coqprime_8.20.orig.tar.gz
 03bd10fbbcee1ce25446c803e21d3ea044b79ef8 3704 coqprime_8.20-1.debian.tar.xz
 679b8b63ed1b807bd607cac3067f7adad0ba5758 7960 coqprime_8.20-1_amd64.buildinfo
Checksums-Sha256:
 77c4f3a420f0f88dd39502550f001d513617f8a9cb50a494825f7750239bb559 2164 coqprime_8.20-1.dsc
 13cd94a90e4869f22bb00e30ea48faec24bf1698205e6e31b46baf8376bab1c0 996522 coqprime_8.20.orig.tar.gz
 56f8ea55d806ecbd6340030b851dff86ede8e9ebd2e789022a35e34f5f375aa8 3704 coqprime_8.20-1.debian.tar.xz
 f4e41fa4246056c24242f526b5094a1b7fb2f4be0a1dddeb7ebdb818cbde931d 7960 coqprime_8.20-1_amd64.buildinfo
Files:
 db4533090872d3aff336d20f173b4642 2164 ocaml optional coqprime_8.20-1.dsc
 28255e31905c101358f3164944eca8fc 996522 ocaml optional coqprime_8.20.orig.tar.gz
 2dc2c40f6cc0c08dd8e2dc8c267b303e 3704 ocaml optional coqprime_8.20-1.debian.tar.xz
 0b691e21e8b58167e31f002a18fe7c62 7960 ocaml optional coqprime_8.20-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmdtLeMZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUfFUD/0Z28VM2TF8KJ6sOSzTvdiK
77vR5tr3S/n76vW+9OL4Z9WxTQxFbLSwBlyhoXB5lHBOyWGdUmoAh/B7gG2a77hQ
pxmtuHPrD8u/I54bBb+hSSwngEuj8Zs/y/fBodQpDruTaCUVZgcC0aV8pKyWnZ/o
jnFS+GbJJdu+/TfGDKQ3vwmnNw9GFhHzkrkJ15OdYLitEOUAfGhQh5iYxWbfpay9
OhlPqc1yAHHraim0yQ3TcYCLFssFPjMN4tWdf8tjvG7uTLdDIpqrBwsaGH/2u10l
alK7PT1gT1gffuh3LT7CP2+7RD3bORLsRAiFDzaaIaUi0o3/Xi2nZu6Dxvrf4R5C
KDlC/G3NUzhAXios1fv0oVEIqFm0m4YbK657Y72G8CI9JI+Z3cIR5TSOmbfulqvn
ot0d3b/NvFJmC93WWZ395/X0z+++WLbQhWckz7Ei1cvLn2BEGkNY3VMmaSB9O9xf
ehJ45UPLukcx0QDUsflfHnyDh27Zq7pVjrSYqu2QnuMyMsOMePiUbQxVAVfL68pK
851Q2X9CqOPjnwgFohWfCC/Fy78aZko68BNo4X8rTyIq1dPha/lRVGCHDBTmUnON
V53h37ZOq4CtPHf5UibX6XCAGT5d/M/HZLJtj+CqcAiinSPZLltQs8sHSqtF9e7l
fKJEy74Sh5jmwbPheFAIdw==
=B1AS
-----END PGP SIGNATURE-----