-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 19:27:06 +0100 Source: coqprime Binary: coqprime-tools libcoq-coqprime Architecture: source amd64 Version: 8.20.1-3 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: coqprime-tools - Primality certification for Coq (tools) libcoq-coqprime - Primality certification for Coq (library) Changes: coqprime (8.20.1-3) experimental; urgency=medium . * Strenghten depends on coq/rocq. Checksums-Sha1: e233e21abadcdf2623830aea5cd774cb44b03485 2185 coqprime_8.20.1-3.dsc ee0eb35891f7979ecce4864aa649d0da8c0d82a1 3576 coqprime_8.20.1-3.debian.tar.xz 733fb34bbf67bef0ffc156f4f23eafe9263bd8ea 143372 coqprime-tools_8.20.1-3_amd64.deb 45383cbeb016edd5eb88b848053b53240fca309e 7211 coqprime_8.20.1-3_amd64.buildinfo 9953879f3f1fa3b543fae46e18a4329d64ac6712 1787656 libcoq-coqprime_8.20.1-3_amd64.deb Checksums-Sha256: 44878656c80ab0be56cc15e50c07164f3d3d1b02314140840105cfc8acded4b2 2185 coqprime_8.20.1-3.dsc cb1d0181590446b08f95d77a85c22c471d91d55af2e1021d37aca4c4b723cedd 3576 coqprime_8.20.1-3.debian.tar.xz e141e2f9440c21f99223d787135f258350780fdb53e1e058ba974ee3d101a8c4 143372 coqprime-tools_8.20.1-3_amd64.deb 5913b6e0bb67c0b6d1285a77fa0f6dfcc6e0da7f1b86bf9f36b6b164f19d3c80 7211 coqprime_8.20.1-3_amd64.buildinfo 22fef957568d8c59831a2516353731b7e397038b69ed04dbde7d5bd7712c2f8a 1787656 libcoq-coqprime_8.20.1-3_amd64.deb Files: 860fd55978c9117ecd808c24869eb62f 2185 ocaml optional coqprime_8.20.1-3.dsc 11220f590b0c220ce71e7769e75702af 3576 ocaml optional coqprime_8.20.1-3.debian.tar.xz fd38857342f28dfb1733cba779a8ac63 143372 ocaml optional coqprime-tools_8.20.1-3_amd64.deb 05f3a737e207f74fd7e33086e7b9fb66 7211 ocaml optional coqprime_8.20.1-3_amd64.buildinfo 6d1ec2e6236a13f4fb1504041ddae828 1787656 ocaml optional libcoq-coqprime_8.20.1-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTgZ8ZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUeFgD/9snKm306a9GgNLPJ/HGuNu 73KrJvv+hQ4z9riLRXrAGxT1UfGlS8/xSRJMGvq/feFDaCf/hG6kpLgG6sDm2nr4 eaSs5zK3DdiKxVKkPh+OPXG69QR1Pcy4XbrodKYXDlU93zcXUTHe9xsEyyIQUjcC RgH4fyTIZage6yB/OgefPwzo4zMjLBdynHqMtTyu89iLhtXT4kplPDrawHPOypTW UhSSZCPj6NbZ0HALft1EcThPw8g64PkI2Lw9X77TMri/QaEFkWCnpxEEqabbNQjF 6y2rSgGC4sAnSE18fMTkY+1R6CsGlR9K2nrCeysPqCHUV3shaKIAuKzRoMOmgjIJ jw5xa6tgHRkkYxIcVDej8+WkvNmXO+IafKPOhlsTLUoHOeaItammOA+cQ9/FAGCz Mg7nvM0q2VovNQvLk5JN4FpSoagjowucJ206E940RIcAytsnz82ul20avOcvEXwY 0nakon9vv6d8z+YZd5E805i+akLhMbEJs3TzrmPWVbomUhoyTT2HiVbOASJF1JVd zTUc/e/8noUV/RnbG39GHDIqLcVZEWwo75tOC/WyWH40LbJavLziwALsS64H3PUl VfLUZQThcfuTJqdI3gJEq0g9zf5pOZq4s7smamRvGtXw2dtIuLj7ldssFOudfLzi 9GTum6T9J4X3gB+7b09u6w== =rptI -----END PGP SIGNATURE-----
