Accepted coqprime 8.20.1-1 (source) into unstable

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

Format: 1.8
Date: Thu, 23 Jan 2025 22:50:28 +0100
Source: coqprime
Architecture: source
Version: 8.20.1-1
Distribution: unstable
Urgency: medium
Maintainer: Julien Puydt <jpuydt@debian.org>
Changed-By: Julien Puydt <jpuydt@debian.org>
Changes:
 coqprime (8.20.1-1) unstable; urgency=medium
 .
   * New upstream release.
Checksums-Sha1:
 c663e4103cbf37f9f36058e6270603c106d92bfd 2178 coqprime_8.20.1-1.dsc
 8e4f3c39e58425290d106c23d76ccab416c6de35 996557 coqprime_8.20.1.orig.tar.gz
 7132cd9c674c3265ba0a10101e2749bf34e5af19 3468 coqprime_8.20.1-1.debian.tar.xz
 e686b2e6574a519877829a69f2dfaf1c19ecce9e 7764 coqprime_8.20.1-1_amd64.buildinfo
Checksums-Sha256:
 59d13f894c5af36318f042160eded791c5b388fee8dd471663cdbff22bb571d5 2178 coqprime_8.20.1-1.dsc
 888cf04d06b6d880d1002aab0908a79f691c1c72bd05386415905e6e04936220 996557 coqprime_8.20.1.orig.tar.gz
 81f9e6cba052cba9a325e5d11a68eb0a8988ddf2492f5e67fed946451ea367b4 3468 coqprime_8.20.1-1.debian.tar.xz
 44ec6466579285d02f4f139faaab8f8267782fbc9e33a728535cf4e30fdb9e8c 7764 coqprime_8.20.1-1_amd64.buildinfo
Files:
 5112cb9197bc26126e7e778cd28791c6 2178 ocaml optional coqprime_8.20.1-1.dsc
 32693b1bb28ecf2a0847bc583d15ca4c 996557 ocaml optional coqprime_8.20.1.orig.tar.gz
 3371bdf4b232541908e9a099ee5b645e 3468 ocaml optional coqprime_8.20.1-1.debian.tar.xz
 1d1bc9631f6514fb55c7d8f3ca371fd9 7764 ocaml optional coqprime_8.20.1-1_amd64.buildinfo

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

iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmeSulkZHGp1bGllbi5w
dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQ44D/46Eaq6thhMJYaNSLh0XgwJ
e0ZWTGf5uzhIWZ4p3R5uZN80Y8QFTlF6loRLje7czJWTebgG5HrYE/Vgu+mMJN+a
kGjhAX6U2fcnLGAb/p32Kn+Ilg1nq2d9tPpQ/p8E54rml645lOXlrdCH5AhosXs7
NZXdvDqbTEb7QghTGRcE+7TGbzj/3/dhUQR/bdoXrau4iZMPhiqmLijJZAWh644u
LTf2vck/3Rm+ZET3E8TQ/tClAqW2Xb4AkfeosssL6MFtdiW7MGeTa+vytEC1m2Y8
JJwQtBq5GowUPZb4TPDe5nyD54PiFafzVyJQq+1zQwGVv/OYGMU1ZeeyqrHBaEJn
b7bpcFO5sfMzr/ZydxH4gPYUuo51OGoEKJATuS/Zoy75KOJDTe1t/T7ZOLPu60dk
i6s7IKFu/Rqva5y/72J31BluMQANRNmdzwflDP8tTRXERfZzcOltSducwQQmfYjQ
GRLax+Yq8vlFhZsf6ANXwhP8x2j6gkaUUAvs1AgG0AQhhoGUpfOtwNJ1+G798QnV
SyFQnyskFoc19WGnPimtRYkh50M67cC0Pr7gMSCXI259i4SlTZWFEAzQj89D+Pvt
Gfg224W8latIeZYeA52szNG01P/2SgK52nWrheMZCNBSp+BjUa/rg/1RUkNdVMFd
29s0WCIB2gZkLtSG/hkdgQ==
=sF/G
-----END PGP SIGNATURE-----