-----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-----
Attachment:
pgpC9d45FPumA.pgp
Description: PGP signature