Format: 1.8
Date: Fri, 06 Nov 2026 23:27:36 +0100
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:
 10e6f776038a9d6c57a90e64afd92d1a0574813d 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
 ac088f32051cec53df79b9566ac629674ecb44da 28352 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 cd860d59cee42f39b401931692c9b1e4e45ea697 16171 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 ab798ae8e19703d5e47c31f042fd666eb644735d 43315392 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 28d6b084e2e797c37346f6f0ad8cd1db2da5c8e8 57201260 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 6629588d5b27caa71ddcfbf3f3ac5fd077496064 26868800 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 6fa1bc32675a75b18ea43ce46f0695f9c9d6a71b 1153068 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 04707cd9991b22e9877341f40e1f5cd3a0b172f0 1979408 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Checksums-Sha256:
 195e67692ebdc1a12abaa000b0f9f3fa6ad9208cc26342636d2fb36124923f00 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 7a124b158ac6d750a0a2ae9034ea731be4702db3ff7d334aeb410fcdddc29f1b 28352 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 4d6a99a753a55007b9459c443a8de7799169fa4dbebdcd98c6e705e08a02df8d 16171 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 3f4038197cd6baf4099293c73436b59b08f9558e63e5a8f49078ea8d8605146a 43315392 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 9a3fe631ab9d3603e8cc7fc084d6356abfeae2c02df2ef4a5dcd0b4f294ef089 57201260 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 f2e96e9373081c6cd4fb6b536efd8b188243c62dbf6437100d2548ebe3b2f04b 26868800 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 f77f00d508d3e31f8f5bf0179749fd4668f2a89b2d993274d9971389edbb4456 1153068 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 1331d9a90cfaac9a2f8e114db1964be5c1a97a2af705f0a3ccb9dd4d126e974d 1979408 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Files:
 6b362bb9c747a3518fcb3478ed714845 1587 math optional coq_9.2.0+dfsg-4+ocaml1.dsc
 a33dfe089575d328913178abf6c5b41a 3946088 math optional coq_9.2.0+dfsg.orig.tar.xz
 7715f793e2462ca23f7e470c3999bc56 28352 math optional coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 976764e818360097b06300ffe87f06dc 16171 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 685e11d5bb51ca30c5a8e212134ba927 43315392 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 46117e19183d9b951cdea8045b2b0e60 57201260 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 1becd401da6a68eff107bcbc683eb95f 26868800 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 7b81d8254c600f1d9c352c07efb60c0b 1153068 math optional libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 c56b4e88ebc9b1ed1123e3d156167867 1979408 math optional rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb