-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Fri, 10 Jul 2026 18:56:14 +0200 Source: coqprime Binary: coqprime-tools libcoq-coqprime Architecture: source amd64 Version: 8.20.1-4 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> Description: coqprime-tools - Primality certification for Coq (tools) libcoq-coqprime - Primality certification for Coq (library) Changes: coqprime (8.20.1-4) experimental; urgency=medium . * Rewrite d/watch. * Bump standards-version to 4.7.4. * Add patch to compile with Coq/Rocq 9.2. Checksums-Sha1: 54d66ee7179f4aa4452705492cca048f66e321c9 2185 coqprime_8.20.1-4.dsc 94265496befb42727f8c51b4b637178f442ce653 3900 coqprime_8.20.1-4.debian.tar.xz 182ec5accefd4f6a6f69e92728a3d3412eb7a44f 145352 coqprime-tools_8.20.1-4_amd64.deb 5ca2cd687f52451c63fe84872f9436a482871bfc 7813 coqprime_8.20.1-4_amd64.buildinfo 374f235925cdbd5d82867c326bfdfdb33a92c52f 1770148 libcoq-coqprime_8.20.1-4_amd64.deb Checksums-Sha256: 53aca0efac705188349749b89dcb48aeb9bdc0af2a90ed41b0aa30816e2e5b33 2185 coqprime_8.20.1-4.dsc c5ba75bdb99dc1322e9611b696a6296b3d5c83b80402226100818ac11ac456ca 3900 coqprime_8.20.1-4.debian.tar.xz 62be4c585eae30daec5fb8413aeefd3f7dee5e4e6c513922825ac2cf4934c704 145352 coqprime-tools_8.20.1-4_amd64.deb 52725434c5fbb6588ff3cb1b87fa8ec8395840da7f7c24df7b03731df17aa35d 7813 coqprime_8.20.1-4_amd64.buildinfo d899663e203ffc32380d32cfedcea44e583d600afa1ed180201a305a346aa69f 1770148 libcoq-coqprime_8.20.1-4_amd64.deb Files: f1f3c2dbe94d871fe30cfdab8b813cc6 2185 ocaml optional coqprime_8.20.1-4.dsc fb8e26be7d606b9a80245744d6d55698 3900 ocaml optional coqprime_8.20.1-4.debian.tar.xz 29b9400fdaf2f6f5adcdc14dd786e6a7 145352 ocaml optional coqprime-tools_8.20.1-4_amd64.deb c08a44354576772ce885bdfde6d049e8 7813 ocaml optional coqprime_8.20.1-4_amd64.buildinfo 07005a9821aa7f50f4f9909908c1eeab 1770148 ocaml optional libcoq-coqprime_8.20.1-4_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpRKJEZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUbPuD/9xrGP4RM1KMp5Z55GWXBXc DXW8zuH58qq0LwotZnB4ubcsvN+Z5M19vumxvuwE8PJ86cc+rQ/lc9tbXWK8Frnf U6Vhjg6uKHpDVj8ZmSdvhnQIJrrvHOun+L9RHGPfoXn6LWj592WM6WkjzYEpiEPk T4376XTifFDvcV4HfP++HX3ZpITmoaosFx6zCM3yHYhDj/iKxK6X1n3sp8JfRqdG Sr0NYonqQ6jJT6YIc+c9QVdS+P1W1JFgCGpY+Bf5JodJLh8LkgtsEW1axv7bZbfE bUMV2h0H9ntFVMdpFcQSIfQ5MQsAb4ee4AywyzNulBLSIKVoEfcspghaP0NwzsZ/ RnUSic/PTY66yPGmnQjTk3vMGhLB+/WElDD3VDk/Uu4klmw3Xn/UvclwOSV2B4Sz zeCrWKG+0CEGqCK+zSjeTisqCM6/wvRsZWKFRx0aCJ1u4biojD8E1zSzi0qw1uwQ bjhYjB5kVIbzQOkT28cddL+j2BL++BrKGjspZnVC8V+bcbh4YXwgUF/R5iAXKpuo sHQmbDVhbYnpgA0iS0KjOA33Xxd8+ERnG0HY8vOxVtIubN1NSW6h5ukfk3OuSe+v EFHJs1BcU1RZjPWTtVBYgNXSdAkGVCP9j+nOa94X3DdM0dfzaQLR5ETru3TmoAff uaKfH3c/f8aNDXz71Kp7BQ== =r/kW -----END PGP SIGNATURE-----
pgpYgqvfbnSPu.pgp
Description: PGP signature
