-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Tue, 11 Nov 2025 18:09:11 +0100 Source: coq Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide Architecture: source amd64 Version: 9.1.0+dfsg-3 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) Changes: coq (9.1.0+dfsg-3) experimental; urgency=medium . * Add missing Break+Replaces. Checksums-Sha1: 7e2bb6492ea99c48ea0f538428719712adc7f1d8 2540 coq_9.1.0+dfsg-3.dsc a5c933b0c535cd4efd84c6f8d1c4b4ca71454f63 24136 coq_9.1.0+dfsg-3.debian.tar.xz 7f1d4e20ed165a290b4c6def1b020f76cd89c33b 16363 coq_9.1.0+dfsg-3_amd64.buildinfo 946e71752965210f2076ac424879a13c96a5db8d 39630028 coq_9.1.0+dfsg-3_amd64.deb bf86ba988682d8327cd7e5ab4ec5625b325f4ffe 70966296 libcoq-core-ocaml-dev_9.1.0+dfsg-3_amd64.deb e34f90df8b48b163eaa2389c1f1f365d367a40aa 26827924 libcoq-core-ocaml_9.1.0+dfsg-3_amd64.deb b53e26509be0c24148fc4559172ab915bbde6008 1136804 libcoq-core_9.1.0+dfsg-3_amd64.deb 8881a804a88423183df5b855638df26d20eae881 1935724 rocqide_9.1.0+dfsg-3_amd64.deb Checksums-Sha256: 104384cefd698bc1ea8050ef36eb43d38a3dda97b9f8bd17b6059dc70cc323a1 2540 coq_9.1.0+dfsg-3.dsc b5a4c6b32cda25e8410027066b523c79fcbf3b08f510e07fa5014acd3baed0b8 24136 coq_9.1.0+dfsg-3.debian.tar.xz 382a1f31b1faba0af89fafd5b61a3f2187aa81af9dd60e6b52b0468831d91dc9 16363 coq_9.1.0+dfsg-3_amd64.buildinfo b8ac6ea03931d8c8426a8002e50d542f64b06213d12917362255dd68c54b8341 39630028 coq_9.1.0+dfsg-3_amd64.deb 5ff0d3215ef1b3ac71c78a6a9919ca9173de2527f0dd90c4cbcc71fe0d6ffab9 70966296 libcoq-core-ocaml-dev_9.1.0+dfsg-3_amd64.deb bda40957358b5f37037b45371e0a58007ba1a0ea104975723805e442d6ebfb6b 26827924 libcoq-core-ocaml_9.1.0+dfsg-3_amd64.deb f56b439c85b5a12ff467d0a28ed62904e185c46de5e6192922e4a268c0ccf062 1136804 libcoq-core_9.1.0+dfsg-3_amd64.deb 883cc23e55215bf3e4ccba1187e26b7b38e3ea7fd098fb514898880e4a37e695 1935724 rocqide_9.1.0+dfsg-3_amd64.deb Files: dafb48fb5ed7861910d2cb989d562d9c 2540 math optional coq_9.1.0+dfsg-3.dsc 8b2902579aa128ed1c0e14de66109a7f 24136 math optional coq_9.1.0+dfsg-3.debian.tar.xz 225dd4a6180f521e7d3ffdabdf3e659d 16363 math optional coq_9.1.0+dfsg-3_amd64.buildinfo 58d8d39e29c013c222a902f0979beafa 39630028 math optional coq_9.1.0+dfsg-3_amd64.deb 3e2c219930717f2a1c9a04c4c272b70a 70966296 ocaml optional libcoq-core-ocaml-dev_9.1.0+dfsg-3_amd64.deb a78e0d3a9d549ef435f643be5c7e8a71 26827924 ocaml optional libcoq-core-ocaml_9.1.0+dfsg-3_amd64.deb d519c15ccb46f70d952cb9ec7097ff70 1136804 math optional libcoq-core_9.1.0+dfsg-3_amd64.deb fd9fcdcab1e0818b50a9cdd6780d87df 1935724 math optional rocqide_9.1.0+dfsg-3_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmkTbxwZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUVGSD/9sTifIc9XoG1Ks1uk1avpC 7UkrZ3JqN54cUirgcGnSqKaiH8PAzk3zJX+2NeqU2+sdJw4UsZw6aeZJ4nHAcPU8 ZTtp8nRpnQ5ESVMd8kaaDX9gQeKd7aN5VmieZkfwHoY2BAa3lfkEEnB3/xTgU0Zz B5tMhdeMa2qKGbpquowPerafEN61dfJanSRoO/2IxemRfr/nNU0NNChYhrcf2Ewz Da6t7MUd2Nyoc9FHbjPu1PVTVmVJPxMF6tMdPhUE/LOcsw8woMmSQeq3VsoVTzhd oLTiusZsngBwf7oO0FnpvDARN0X4PUmR+ShddWWH04fItT2dcoTMdQrhD7363qGX zVLhXqWALFwMBgFE9nrpqwWQFHNa/O2PlNuzPK0n3BvpGoxhYQ4fsLTXNMqAgdkF Lrz9gG+ehvHnEyq02UbMwQVep+jXK2Qi8a7dXPyBEUoZDQumrAbErF40bYyhKq46 1jEgEIF/TDLVL5V9IvZ6ZXDzJMeYwr6pBTjQn18/Fddpuol6KYEyxeDRyt/TTVBj bKwFwQvL/l5GUGb6hmoK6pAv7Vw9jPYMQ44fWZ0YCp3FYYM/e1TLkjt+JD85e1nU WhvC6otu2AAyqYDbp12B3Q4FSoTFToD9xbO5f9SyC53j5k5jqAB6ui2BlIcdNz+j KUBn74GMcbC9YqYNEtrR4A== =Lr5v -----END PGP SIGNATURE-----
Attachment:
pgpiC9QhrCGAa.pgp
Description: PGP signature