Format: 1.8
Date: Fri, 23 Oct 2026 19:20:49 +0200
Source: coq
Binary: coq libcoq-core libcoq-core-ocaml libcoq-core-ocaml-dev rocqide
Architecture: source amd64
Version: 9.2.0+dfsg-4+ocaml1
Distribution: unstable-ocaml
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.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-4+ocaml1) unstable-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.5.2
Checksums-Sha1:
 6019ffa1636bcb7d95db6e14717184f9d633bd31 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
 bb61d6e5a2f4423cb24e9c9023601ccfd2118958 28368 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 5c61f7ab5ab3758cbeffe7a6fb7a21ef53fec8a8 16043 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 22c8bbf11ca994f523c26173efd8e396299c0174 43278336 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 e313a28998653d3d754cadc74f7ef7b7b1b028f3 57198148 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 6c7580302f64c466dbb48e9feb0740f246cf5f52 26876344 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 1b66c3fe85dafdbcd2b63afd78ef24ac4556b0e0 1152800 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 4661b114596649fb9f6cdb301eba68e80cf0519c 1977816 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Checksums-Sha256:
 4d19fa19aa68b4cc90f193fe45c3e69fbe7d8395eea88313f9ea039dc79d4104 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 2ae49c8cab74bca5cbd2bbffb8eeac5b4f915a5ec5fe4354cdf1e2bb49780081 28368 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 e293433bea1e46634cccdffd646dfef5906ec48b879c5b05a96e1a1bedc040ae 16043 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 1917f9cb7bf0ff8c268889eaee823e06c6121d3a38e2101b47d89a441a8078f2 43278336 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 3cb30c864df276214f1f8db11b455dce434e6997a603ab8c4b9b565acac0d84e 57198148 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 2fb768c9106b7a0f1e5e4c0edf2dae257585b5cf66a426200d1cb17a53af9cc9 26876344 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 4e4863f78259b2690bef6f354f0f781d18978ec337b0356ed0eda4f570e793f9 1152800 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 1d264d6efde849cfd76768ac7cf61fe8a74fe7e1fe83e585a4a8e08e274493e0 1977816 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Files:
 f0c030d493b26499d38329375759235f 1587 math optional coq_9.2.0+dfsg-4+ocaml1.dsc
 a33dfe089575d328913178abf6c5b41a 3946088 math optional coq_9.2.0+dfsg.orig.tar.xz
 8aed9d39ebbe65865364ef9420aecd26 28368 math optional coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 76366986cd0ee195e29cd6d77ee4af8b 16043 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 85f2ecccb2c325209ba3e490df1f15a2 43278336 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 54217205cd677ed3ae21c8ed213b8c5c 57198148 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 4d95386bfada849a2e42f82aa8ae4d18 26876344 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 dd810b7c8ab2eceda2aae4095c6a204f 1152800 math optional libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 64f2df501f1baf7fb93df6f673ecda87 1977816 math optional rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb