-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 29 Oct 2025 00:18:57 +0100 Source: coq Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide Architecture: source amd64 Version: 9.1.0+dfsg-2 Distribution: experimental Urgency: medium Maintainer: Julien Puydt <jpuydt@debian.org> Changed-By: Julien Puydt <jpuydt@debian.org> Description: coq - proof assistant for higher-order logic (toplevel and compiler) libcoq-core - proof assistant for higher-order logic (theories) libcoq-core-ocaml - runtime libraries for Coq libcoq-core-ocaml-dev - development libraries and tools for Coq rocqide - proof assistant for higher-order logic (gtk interface) Closes: 1117585 Changes: coq (9.1.0+dfsg-2) experimental; urgency=medium . * Update depends from why to why3 (Closes: #1117585). Checksums-Sha1: d05eeb5d8e4fb9790c8c45c9228fe5c01f89ef14 2540 coq_9.1.0+dfsg-2.dsc 265769c59b4adec4dba16054d76512a30561eb6b 24092 coq_9.1.0+dfsg-2.debian.tar.xz 377174c0c6e4833b6d555a16ca9095404fe32cca 16368 coq_9.1.0+dfsg-2_amd64.buildinfo 3090b195c47da16aaf15125508ac791e1c039b12 39612632 coq_9.1.0+dfsg-2_amd64.deb 5aa99b764929c37bc6a8ccce284bbf9c7dd570e9 70970908 libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb 425ae1fd23d82314e3a71b05c5d8de68210862b5 26823372 libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb 066b268ae72b15fae4dc3261c923cc68936b2028 1137624 libcoq-core_9.1.0+dfsg-2_amd64.deb fbe0c3a00a934e90558ad9df88ba870873886441 1931252 rocqide_9.1.0+dfsg-2_amd64.deb Checksums-Sha256: 230f9b397d1185f8231ad84b541fe35628ecb3c51d42173df0785bb4f28bc5c0 2540 coq_9.1.0+dfsg-2.dsc 75ea3dbfde967fa2b399aa8dc5954beee6ab4fdb742ef55b8a2c89a88c223381 24092 coq_9.1.0+dfsg-2.debian.tar.xz 585fc1f34af967db9d96dbe2c94e78b719a7a5b716d36c34f3ce25a2dfcc156b 16368 coq_9.1.0+dfsg-2_amd64.buildinfo 984e2549a8f450ef9b9b527487797629ec4ec1158f910b33c4cb8bdaf9ace1f3 39612632 coq_9.1.0+dfsg-2_amd64.deb 6e763b870090b848f1fdb1ed52317fad9bdd05e46a710fa05b4db914fd4b1386 70970908 libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb a7250fc5ce9eaaef3bb856b1b522d10a5a259d41b1d6aa126f8a9002bfc6765a 26823372 libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb 4d9fd6af19a87d4b0644182b224efa3a38d713a856bb8137637eca1f35125ea7 1137624 libcoq-core_9.1.0+dfsg-2_amd64.deb 8fefaeed8e7d076f9da6b1e2de06e6d47b1d2975ac1dd2ba4eda7c9cb375eab6 1931252 rocqide_9.1.0+dfsg-2_amd64.deb Files: d25208473652777ef2b9318e08055b98 2540 math optional coq_9.1.0+dfsg-2.dsc cef4c3a31210a5fdb587db878a4ac5f4 24092 math optional coq_9.1.0+dfsg-2.debian.tar.xz 52cf48fcb70f0095d7b7c7300ea45083 16368 math optional coq_9.1.0+dfsg-2_amd64.buildinfo f1bbd0f7ddd6648396c8b86f4823a983 39612632 math optional coq_9.1.0+dfsg-2_amd64.deb 9107e6e984d1ee6b27380e94ef36c4ce 70970908 ocaml optional libcoq-core-ocaml-dev_9.1.0+dfsg-2_amd64.deb 7b2a8bf26122e656ba7632f15590a047 26823372 ocaml optional libcoq-core-ocaml_9.1.0+dfsg-2_amd64.deb c8d9999ecfe6504ea747057686de2ec3 1137624 math optional libcoq-core_9.1.0+dfsg-2_amd64.deb 862c1f302b09c64ef9673281372a1656 1931252 math optional rocqide_9.1.0+dfsg-2_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkBUaUZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUUpXD/9U/W7ehDSUzaxcKH2lzeVs 5JvkoXm2d1zpi2mS5sxEFNMIRttsD2vLNRCIePjLHkXG03H6k3XRA2ZFDS5Gj+Zs tTLNVgNVLszl8RwVcUUIGXmJqBTQSg2WDif2GqFspgeLumZjf5yvdmMRomeoVG2R jUMBYa5S3rCf4qok6ws9BujfJ9W4/j+BBMubmYtJfR635YjxqBdaPn+BX0A4i8xo mY/7SywY06aqk97nEm2lUYODcnOpDIdUau9zV3M3PSTCnbCI0uNxIzyssVeuNCxV KFCND3as4gakSycrlNJrwWgAM37CC+BHBP0fHKwy6jW0wtmN6Idv6DghOFXT3Dws ORAnxY5uzuOe+vTYNhNsKj/Pc68QtO2YD+e5e0bgxhOMUQTJKE/m7fwSYIsVnIaf V0a0gWLQ71q8qeIfAwt0oQJLD1Wcj94QM2QSTKFnpu6LTDih2NjlHNVRed/Mm0Fh 5O190BIJOXf57n1bi0TX/yp0vIl9r1gKFayedtimJYyUX++uXEoK+vvXazrRZZjX 3X+JfmJu77XikIKQJLwKcisdl+MN5Ny+VnlUBOJFHgaWvCfyb11U45UWtJcHMV+r jYQRjJPAtxfVoVMtLDmFgj3lugKT0v6t0nAxGS3dOp8bqXkLEN9MPiOz1WZq9rti RHbXd1raoIw7G3U3ZkKtQA== =HC/0 -----END PGP SIGNATURE-----
Attachment:
pgpkgXRAsxffD.pgp
Description: PGP signature