-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 10:25:57 +0100 Source: coq-corn Binary: libcoq-corn Architecture: source amd64 Version: 9.0.0-1 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: libcoq-corn - Coq Constructive Repository at Nijmegen Changes: coq-corn (9.0.0-1) experimental; urgency=medium . * Bump standards-version to 4.7.2. * New upstream release. Checksums-Sha1: 9fd08ff2b01227ceb4ee9211ebcda860b32c44e7 2110 coq-corn_9.0.0-1.dsc b93d9213aecc6b236531fd58fdd6c05c83145ede 1321476 coq-corn_9.0.0.orig.tar.gz ba4f146352efe29c4a686483e917980510220371 4408 coq-corn_9.0.0-1.debian.tar.xz 7670b2ab8499658be821eef2d3c4504a2760c8ad 7301 coq-corn_9.0.0-1_amd64.buildinfo 247177cfe99713f2e4c23ccd69ef6e71fc2b14b9 13556892 libcoq-corn_9.0.0-1_amd64.deb Checksums-Sha256: 7317185a765aa95e3b6df0600fc4045f0aaa1a8b70c9fa098ab91528947ea677 2110 coq-corn_9.0.0-1.dsc e47efaf23292cd7b8a20a22a6944249d292ae715fd3c347eaf8453f796a90d4b 1321476 coq-corn_9.0.0.orig.tar.gz 9f46d95ed122160506aaaccabfd363470a30af5043c7f554a9f419399a26e918 4408 coq-corn_9.0.0-1.debian.tar.xz 08f749ad3a34a3009340972b23a4f053092077a16f4c595747c9ae700b2fc1e7 7301 coq-corn_9.0.0-1_amd64.buildinfo 5a88e464ca1d3666cc5818aa59480c3aa36aad8c0295c150a13040d856a1eeb8 13556892 libcoq-corn_9.0.0-1_amd64.deb Files: 92c5a4c5bd69004399f92bab1b3f9f29 2110 ocaml optional coq-corn_9.0.0-1.dsc 43565ecc27132000225aac8de08c1694 1321476 ocaml optional coq-corn_9.0.0.orig.tar.gz ad6f8c4da553cbe190be5d11eb6f6ff5 4408 ocaml optional coq-corn_9.0.0-1.debian.tar.xz 813763e50b7fd2029822aa4abcd961e6 7301 ocaml optional coq-corn_9.0.0-1_amd64.buildinfo 0ad39921c479b4246cf23a640b314d19 13556892 ocaml optional libcoq-corn_9.0.0-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkB4LgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUTuWD/oCWE7V/f0Ky93LZgU95cte CIf7KCA1m1dDuX5dsqDNLwVNHlMDDTn391M70e3gYU1cg+KjZJ58yi/Eco4I6Rd2 EmlTeWZR0JCvcPL5TlU1gb0HQvDUPyz9TrnVsmzZ27ICGtCKuxQQFhRNXafKvNKw vw5lBrTnltxtCHFLndxlwi/zG74rbAsxRXIcY2DPKc1Argv96otnjri3cDCEUZxQ 11zGOezT/XnpjOxdksSEPgzU8f6ca4Ju/EYj01S/W2vir+NZbXmSF2+orIAHxQ6j q436wYIzwyeFqLk4ZQ0lI/Fxe7+unVLF2SJ/NWPw2m5HtE3vQ7TfZ9aO0EDxl/XX MRJqVVKtLejC/xnXlEOXhc+qjdr3TiCwI0cUtfy+hBS4F7pzdeGGktkHRi1b/P6V 5QwI+GBXb71IdOetabmoHXGlgU4dj0RHQ3isypguoBuz7UYhsDWvZGYz0W/CF3Xo 83RpMhQOSXCwkzdekT4KWYiI3AB1aUxbs3a8cR+0dsYvGiWcxfq3W2oiZV9r28D/ IFhgtlThIReqo7Q6ZaVXZeymhpu7AdiBCdieBRF4WrsiEUWNQKf4j1lY49cDimQb TZ35oT4tLOk64m97W0d19s/OTch7DhbQhlkLAieo/zL7ooOaEfkl/67ZqVheSvz+ a4lLHcsp1VKXd+z8IAZrWQ== =X8Xy -----END PGP SIGNATURE-----
