-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Mon, 27 Jul 2026 15:54:38 +0200 Source: coq Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide Architecture: source amd64 Version: 9.2.0+dfsg-3 Distribution: unstable 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) Changes: coq (9.2.0+dfsg-3) unstable; urgency=medium . * Fix compilation with recent dune. * Drop b-dep on Python. Checksums-Sha1: ec28e5b739135fdeed37681e7377c772d742f016 2479 coq_9.2.0+dfsg-3.dsc 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz 908d3762fa23157b6f6f2ebb6900c29c754411a5 28280 coq_9.2.0+dfsg-3.debian.tar.xz 3a0e43c030bf2488f73e102d692cdb8db2e518d3 16608 coq_9.2.0+dfsg-3_amd64.buildinfo ed78fab70596cc8654416adc694a6d729525124c 41286376 coq_9.2.0+dfsg-3_amd64.deb c408ba2ae8583792f3ad62b49d2c92890d191410 55697472 libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64.deb 0a4e578ca5e697d44af02150e076c7e19a3de193 25796832 libcoq-core-ocaml_9.2.0+dfsg-3_amd64.deb a142f7c7c1027566ecaf7dd72b9000fbc2c0c6c5 1152632 libcoq-core_9.2.0+dfsg-3_amd64.deb 042520f6227e138bda4cec74531db8c804afcf4e 1948772 rocqide_9.2.0+dfsg-3_amd64.deb Checksums-Sha256: 22d5699fa301ef0ea7204c1808b65b15cbe4994472789d3f98c78a15b25c6f1f 2479 coq_9.2.0+dfsg-3.dsc 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz 21a3302f5b5092a0f8970f08367dd4bf44ed299fbc676d541e74d69c9aded33d 28280 coq_9.2.0+dfsg-3.debian.tar.xz 86ca422f18532d3aa334bf988ec5b22da3c4d015c1650add0ddd4a6a0e809076 16608 coq_9.2.0+dfsg-3_amd64.buildinfo 79eb11bddbeed8d4b4902cdf030bd9de7612cd94b3bfddbad79f80949db069f5 41286376 coq_9.2.0+dfsg-3_amd64.deb 2469eb4f5c3bf630e4535c796aba3aa147d1b0e075c6ba75e66b695f35e88fe2 55697472 libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64.deb 4afbdf08e088117ff41835f1ef652a3e41a42188301bf4570e9e61594184357e 25796832 libcoq-core-ocaml_9.2.0+dfsg-3_amd64.deb b36aa24ff5c45afd4c110ece4712800de7cc9855383c0e84de2349793c2c7791 1152632 libcoq-core_9.2.0+dfsg-3_amd64.deb 08144897bca34320ae2286335df879a4d02ec40e980878be80a069fe2d105e9b 1948772 rocqide_9.2.0+dfsg-3_amd64.deb Files: e87c33e910eda7fec3071edc574f84cb 2479 math optional coq_9.2.0+dfsg-3.dsc a33dfe089575d328913178abf6c5b41a 3946088 math optional coq_9.2.0+dfsg.orig.tar.xz 0ff59c0a444f38ad2c5805d8302b3e98 28280 math optional coq_9.2.0+dfsg-3.debian.tar.xz 3578f4d2535d92afd28e70d95c266b1b 16608 math optional coq_9.2.0+dfsg-3_amd64.buildinfo 9614bccb2e107d689dea4a0139a9abe5 41286376 math optional coq_9.2.0+dfsg-3_amd64.deb ca29e466c087e99983d540b1198e9cb3 55697472 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-3_amd64.deb c5d9eb223fd3c0a0c06a6aa9553843aa 25796832 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-3_amd64.deb 4eee3a633732fcfed8a59cfaaa0a9eab 1152632 math optional libcoq-core_9.2.0+dfsg-3_amd64.deb f3d1ebb2c26368bf7a749c12068c82c2 1948772 math optional rocqide_9.2.0+dfsg-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpnZKsZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUQOAD/sHqoXC0qOGVz7baMKY5PlY xELC6z6SalsRdgCRt58EG5P+QjqqSDebc29ekmFNoSYF0M3enV9whHzf0Ef+OW4l 1EVJnjcrigvKYMbql8v7KW9TilOozaEmyhnbW6jwQvWqsd8LHreZ548iWxBZuEDf lPkfIq6bGMfgeIlkpjVrvISXuWBSvss5//sgxs41oAaQxeu1vLt2Efixugx7GgYU VgBizthPHMoSRtIfG1rbybGBa89X+oHXJLwuiSlPCGibt4y0igR+tLbuKY11Er+S cpDwgs6lLUdxaVBXs78ztlAG976JO6GsWRkIulYTmPeUHplSgi03zplPvVcyw9Oy HErPrn7hGfdM3RLmRzU5nL57U/H/V2eOoY2E2AniU3vKVIyzApB6zVsqHC21ziRt 3bki684zdVti3RUa+nHZRWw3wIjPIZVXsyhEHyMvLQ8lPAWYLvZBAN1P6vz5Dq6W vy4dXLdq/4ZBnFIHzu2rYhBPvGOtwZepXKgCaCzrcv0s0/hF8Z81gDqaulFuDb4x M2iX5G0iPg6tVYdOIgAsuX7x4e7amKZX7InElwmdU3U/NVYuu3v1yJUXAlzO3SKT KbNMy1VzRnJ9FFnJ8EnAsvcZ9H5QnJf5XZl7cpU8P7UArXLzmG5pei2aEo9ZEiwF +yyTgke3yXsqnk8YbNC3Gg== =pza/ -----END PGP SIGNATURE-----
