-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA512 Format: 1.8 Date: Wed, 17 Sep 2025 06:58:08 +0200 Source: coq Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide Architecture: source amd64 Version: 9.1.0+dfsg-1 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-1) experimental; urgency=medium . * New upstream release. Checksums-Sha1: 0ff6cce709f49c329ae5360a38c6e69e8725d492 2564 coq_9.1.0+dfsg-1.dsc ea9485b976b1652b14d1e96dae70532a065d6ab3 3834256 coq_9.1.0+dfsg.orig.tar.xz 89a5fab696486d14f7a77100e9f49497c6f23828 24072 coq_9.1.0+dfsg-1.debian.tar.xz 854a7515f6c26de6055756782ad61b34d428e0a2 16454 coq_9.1.0+dfsg-1_amd64.buildinfo a2836a6a205d56edc826d409b73f6a13930d7a2a 39607820 coq_9.1.0+dfsg-1_amd64.deb 52ebaf38e254703706c25a200ea67aa46522eccd 70968132 libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb e5e6ae37832d290934772d8daee787177dc7f5a8 26828332 libcoq-core-ocaml_9.1.0+dfsg-1_amd64.deb 918d9547acd138db7765e4b1d19802573645be19 1138836 libcoq-core_9.1.0+dfsg-1_amd64.deb 815da5ff144f1d0edacb5052e8918f2e7b94cf4a 1930940 rocqide_9.1.0+dfsg-1_amd64.deb Checksums-Sha256: 833a0bfc1a15be0b365bf5a86f78779f2b0d94ee056846b5addb9f9b11de15d6 2564 coq_9.1.0+dfsg-1.dsc 940a840ebc3cc121717c6ea3005aa8f10798b3621294d747261f3b7687c9e304 3834256 coq_9.1.0+dfsg.orig.tar.xz 8d3534da8f9e0986544fc76b071773e8aba20d4852bd0b89bb0d62b3e0402acf 24072 coq_9.1.0+dfsg-1.debian.tar.xz 567ce524d55db541b3183b48618d36b371b8a80a0e65795beffe2c68ebbd6df6 16454 coq_9.1.0+dfsg-1_amd64.buildinfo 507bd9a45b0a3182ce01281bb806b40c5a3fd5b8741751f815dc58cd4ab45cd7 39607820 coq_9.1.0+dfsg-1_amd64.deb 045a393216fba97aa154b78240acc09f45a55cadc3bb38ad95eb0af5ae4af86b 70968132 libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb f949517c95f068a81d2d2ed6f1aec4b99fd508a738c7aa7554fc1cb4d0f9ee2f 26828332 libcoq-core-ocaml_9.1.0+dfsg-1_amd64.deb e782be276c4e94eafcc589e3d15e179ae2bc2c4455bdda9b5d237db0a021eefe 1138836 libcoq-core_9.1.0+dfsg-1_amd64.deb 48256488193822e6d20c8114b5e36467a32acaa49585101eb049a4770b888865 1930940 rocqide_9.1.0+dfsg-1_amd64.deb Files: 5560cd6759c2af24ab46e529682230d1 2564 math optional coq_9.1.0+dfsg-1.dsc e97eb71f058e107af706cb869e55d7c5 3834256 math optional coq_9.1.0+dfsg.orig.tar.xz 3fc393ea944439df56cd211231d2bdb3 24072 math optional coq_9.1.0+dfsg-1.debian.tar.xz 92722ac000b27fddf9a9fa37826a9589 16454 math optional coq_9.1.0+dfsg-1_amd64.buildinfo 1f80da265e50438f67a1e51f8d6ad0a6 39607820 math optional coq_9.1.0+dfsg-1_amd64.deb 25b9a640857b6f7bd26a60fb6d78529a 70968132 ocaml optional libcoq-core-ocaml-dev_9.1.0+dfsg-1_amd64.deb 2d3f79fe9dc2c2776e31b731115a48af 26828332 ocaml optional libcoq-core-ocaml_9.1.0+dfsg-1_amd64.deb 443855f8ebc9f251a5ed91ba20cf6974 1138836 math optional libcoq-core_9.1.0+dfsg-1_amd64.deb fd80c41d55b0fef7f4655ac13c9ce7f1 1930940 math optional rocqide_9.1.0+dfsg-1_amd64.deb -----BEGIN PGP SIGNATURE----- iQJNBAEBCgA3FiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAmjK2boZHGp1bGllbi5w dXlkdEBsYXBvc3RlLm5ldAAKCRAExTvX/gMFUf5hEACmsm3p2+IAuu2OT6xmw58b NPLAs/03vkjM3LuDScZ9R20gbYSl/KCdwLUmLXK+yVe6iBbi/BBkwQbmOboTlrza Ck+m8A+29QR9iitUe8P1ZyZZ150whT9e7kfIjClQQKEMD13p7oiktc1croPqheP7 JvZT4R+OmhzPRzgm6d/i2rk2ZUNDl//iHdjMPL3B7j2No24h9WwMoDft6vkPi1wf f5aoQSJCnh7KViggEA2vpOEfL0h0xk3oosKAZy667q742kmW7BjruLnJL7pZScld zzEqco1+DjXJw7oSXRMVjY2bHtCP7ndVPK8JuTFgLL3Ospa7i6UyRNibt9QN0zV/ YasulmlthgjM+VEYFy8Rrq1JunJDKS6Gc6cR4jksIagr+drzYvgLWaSr6ZEGroFq QKxGNO5Q13kc6jVGriUbDpYxGAJeSMwEHrvanHsB7oRXqypG+XY40YXfk52Ztydq sfWgWsIdpR5jss1yqAzKD9Mfzi62OhecfvrBfyEhut+2R/d1JU0fwiFU3k5HEmhI Lu7RDcCn9cwmCgiusMPi+Gw3/tiuuCwCuPbjbAEXjU0jD0SCuaVZAknvnQDnEEgL 8aflgnI32T0uMJJUy/3RhzoCXoLiGMmImzOuOEh1oKfg+toxW3mDjB2vch2ofp/y yP/ki6F1E0DJw5w4ifOlgQ== =YbnW -----END PGP SIGNATURE-----
Attachment:
pgppN3LFiNBOZ.pgp
Description: PGP signature