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