Format: 1.8 Date: Tue, 11 Aug 2026 11:11:19 +0200 Source: coq Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide Architecture: source amd64 Version: 9.2.0+dfsg-3+ocaml1 Distribution: trixie-backports-ocaml Urgency: medium Maintainer: Debian OCaml Maintainers Changed-By: Anonymous Builder 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+ocaml1) trixie-backports-ocaml; urgency=medium . * Rebuild for transition ocaml-5.4.1 Checksums-Sha1: 84db4b0075f8492870226673ed4adaceae04f0ea 1588 coq_9.2.0+dfsg-3+ocaml1.dsc 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz 2bb6ce74d8be31c2418d0c0ed2d6242470b5e50c 28348 coq_9.2.0+dfsg-3+ocaml1.debian.tar.xz 9599962a6598b4f45671d020d9fca3edd45981d1 16579 coq_9.2.0+dfsg-3+ocaml1_amd64.buildinfo 86f12b70049c7e2564fe4d7a9fe371b9eeec44e0 41276000 coq_9.2.0+dfsg-3+ocaml1_amd64.deb d2990e59f068dfd23eb89d35b05e76d82940a951 55690552 libcoq-core-ocaml-dev_9.2.0+dfsg-3+ocaml1_amd64.deb 9d4ceb1cd017aadc5fbc9cbd262b12a985985b67 25799096 libcoq-core-ocaml_9.2.0+dfsg-3+ocaml1_amd64.deb 41d0f99efba3f552b44f79f11eb198093c625283 1152612 libcoq-core_9.2.0+dfsg-3+ocaml1_amd64.deb c5c23af7670f4c6a111298caae74e5f8786e21cd 1946056 rocqide_9.2.0+dfsg-3+ocaml1_amd64.deb Checksums-Sha256: cd826881343cdeed5e8f1ef9d260ca190f4e0e3a931d3a4c22dc0c8cd8623166 1588 coq_9.2.0+dfsg-3+ocaml1.dsc 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz 850ace2e323d06d509ce8752a5482cda3497b21be6da87c63bd8185c045abe5d 28348 coq_9.2.0+dfsg-3+ocaml1.debian.tar.xz 6a90b4169550706bc0902e38bf25be9ceaf3de7bb892db2f38b74a2848ec2a9b 16579 coq_9.2.0+dfsg-3+ocaml1_amd64.buildinfo 12a9c1248f67d57c720d000330bfbd2e12653951934ef7eb5e8038c5a0383dad 41276000 coq_9.2.0+dfsg-3+ocaml1_amd64.deb dc23c97304727bd15ce2a4a49c576288e08254e1dfe45d110a1d7cf4b7193fdb 55690552 libcoq-core-ocaml-dev_9.2.0+dfsg-3+ocaml1_amd64.deb d9a2750cdc8aaa1ad04448ebc6ef8ccca0a119ac88dca2518e9c100600e88043 25799096 libcoq-core-ocaml_9.2.0+dfsg-3+ocaml1_amd64.deb b3a5497267d25507004be5603a0f67b9becbe7ba1d98928759f654b0e01a81da 1152612 libcoq-core_9.2.0+dfsg-3+ocaml1_amd64.deb e01935dc8bafed2d804251895b6156b367281fa92cfb6e42c56de23e4f75c306 1946056 rocqide_9.2.0+dfsg-3+ocaml1_amd64.deb Files: 79c2a0dd2d8c2af83c2b9bfbf893ac08 1588 math optional coq_9.2.0+dfsg-3+ocaml1.dsc a33dfe089575d328913178abf6c5b41a 3946088 math optional coq_9.2.0+dfsg.orig.tar.xz 4cae90a9bcd3238793e77233b3d01b1c 28348 math optional coq_9.2.0+dfsg-3+ocaml1.debian.tar.xz f499cd7c19475bbaaeb55fd07420b226 16579 math optional coq_9.2.0+dfsg-3+ocaml1_amd64.buildinfo 2d443421f2bb3845b40f20f1a328f77d 41276000 math optional coq_9.2.0+dfsg-3+ocaml1_amd64.deb fe875b91316a28c1e0b20f17e61aea22 55690552 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-3+ocaml1_amd64.deb 302aeadac7ffeccae674dc55eddff255 25799096 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-3+ocaml1_amd64.deb 418421d3e82fef530b248c8c569a3633 1152612 math optional libcoq-core_9.2.0+dfsg-3+ocaml1_amd64.deb 6898b9ea33255d823d3acac4ad168e1f 1946056 math optional rocqide_9.2.0+dfsg-3+ocaml1_amd64.deb