-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 21 Jul 2026 09:58:48 +0200 Source: coq Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide Architecture: source amd64 Version: 9.2.0+dfsg-2 Distribution: unstable Urgency: medium Maintainer: Julien Puydt <[email protected]> Changed-By: Julien Puydt <[email protected]> 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: 1044637 Changes: coq (9.2.0+dfsg-2) unstable; urgency=medium . * Fix the d/rules cleaning target (Closes: #1044637). Checksums-Sha1: d0a72488f9c818f96ce5c16f17c8ca6b7f77c215 2499 coq_9.2.0+dfsg-2.dsc 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz 41aacbb33ebf7a0eaf74b8a6ec9820b2a3c0a383 23752 coq_9.2.0+dfsg-2.debian.tar.xz 7adcd1e5be58da19102ecc21f95940035733153f 16733 coq_9.2.0+dfsg-2_amd64.buildinfo a3ba30e6aae2d52f331f55a2f155c6d50f100c53 41145596 coq_9.2.0+dfsg-2_amd64.deb d6df7c9ac649ff8d54c9e8cd75df7c144257d326 55432132 libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb c59516c0985f4e7c48fb973dd2d3a3e4ecba00e9 25712392 libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb 22e33731969933f8c4a40350053124fe17b0240f 1152552 libcoq-core_9.2.0+dfsg-2_amd64.deb 7331d715aafd92a3efccb57865244a177ec5efc0 1949732 rocqide_9.2.0+dfsg-2_amd64.deb Checksums-Sha256: 1bcc4a2ec551ef9b51110750e71c63b76171ad1e9e43a53759dc0422455b734f 2499 coq_9.2.0+dfsg-2.dsc 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz 20e71632d612e764543e49e4be10fea8061b5d7de99e031e5f03f8c42de1a278 23752 coq_9.2.0+dfsg-2.debian.tar.xz b8b8125d94a732d2ecd11762fd36a4b23aa920d1044c55a7ae3b23c6b7658cd5 16733 coq_9.2.0+dfsg-2_amd64.buildinfo dcf2ec35e6851be6c98bad58dd5fea00ebfcee8dcda6a77857821872de97e646 41145596 coq_9.2.0+dfsg-2_amd64.deb eb74c45e991566b219a088e701e70a3cae473637c6dc03f5d796a84cc6b47dbf 55432132 libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb 05d4c7263bd29bdb05c0f133efea39fa9ae051d456bd020ab12744e23d384070 25712392 libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb d5c19771d6756eca8fff3cd5652d30cc5d263e4b043836203cafc749b5355b92 1152552 libcoq-core_9.2.0+dfsg-2_amd64.deb dd4191327fb826b694bfae4cf66dc12d91cac0a08ee79d775d90041643647e4c 1949732 rocqide_9.2.0+dfsg-2_amd64.deb Files: e9d89e9e92edcea9f61ebb877296da83 2499 math optional coq_9.2.0+dfsg-2.dsc a33dfe089575d328913178abf6c5b41a 3946088 math optional coq_9.2.0+dfsg.orig.tar.xz 5b53657be5a3ca07a0736544931c7197 23752 math optional coq_9.2.0+dfsg-2.debian.tar.xz a65ecc97127b1ab73b04237ac44a61c5 16733 math optional coq_9.2.0+dfsg-2_amd64.buildinfo 482cd76f8b5620b01acf50e0ddd0b887 41145596 math optional coq_9.2.0+dfsg-2_amd64.deb 00972960c37a35ebb099632b928ebf29 55432132 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-2_amd64.deb ef710c5768471ee180b7a4406f94659c 25712392 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-2_amd64.deb 3026dc1033c593088dccf50a3789230b 1152552 math optional libcoq-core_9.2.0+dfsg-2_amd64.deb 1956d80eb1024244a9159b8803949b8a 1949732 math optional rocqide_9.2.0+dfsg-2_amd64.deb
-----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmpfKPgZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUYWQD/0cHt5p1OL4Bay+4QNxqyx5 FKJRUJ/jutTIT/SG3TcCb4WxgMq1cA5dZnXP4QhT6w2xkYKr5SIVD3rbIVX6YKSQ PRzM0aTCAb4MAYuKVOvodBXfjRZGhEXEM1yDCxkZJP+0qoxHtNhx6eT5L9onhvWz 46DZsDsvtgxqr+4kdzRNQ9hBNHyymHBXGX72gsZLTH8+eKDRA0Z9LnYJFazHz+Ua Uhlogx5UrpcR7k31YZqJ27JLGifzo1Wf6gShZ65hKc1J82VbKRnb9BmYc4L5p74Q eCpe8EAXOnOtOZJPXesh7oM31WPx27jWo+2JmK5P+byDBumYr1zMPggdQ6+1xr9A 3Vq1nf4/rZV1Mud1pVEnbWZhK/StifYFr1cuMo/J6KPe9uh/qWM94qEBkj8rWaAZ cwG5zMqfgVE8BCyWCJ57WVJ5jFSerGgTJV0qG6phZgM60RZkmxMuVSe8op/s1JBT +P2pwH7LRrxn1N8TDo1Sv2PjjQAFUVA2HCLGqZIp6IHx4wMIeTDXMeP18tD40/2w 8/K40HakAdgXKWlYK387K4xf4cqGq/iDWb6eduKSV07hrqIxmZY60tdZ8GFejF7t 1dn3TbKQaHsXm8z/DpPm5bVzE7VVnJBzR7wzkV6JjGIDK33fj7/JcpR0EvAjduMk c4mihPu29+bVrQZ+zN7JMw== =rdm+ -----END PGP SIGNATURE-----
pgpKu9VlI1QN8.pgp
Description: PGP signature
