Format: 1.8
Date: Mon, 07 Sep 2026 20:08:26 +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.1
Checksums-Sha1:
 f97ac09b677555ac5af32da6af27afe6f8c5b1fc 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
 61f55bdb5062bdd68edeed44d6b2e8d6d1e88617 28360 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 de054b5afdbbed30cb2f40db01c44743fd5739b2 15954 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 48bce23bd9af50ea8d9950463c8224cb0b0170c0 43309856 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 87c3e6413f6deefc4cedb44f8d57864af24e31c2 57200128 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 cebb473acf3c2ed6247ec66538312e1ef7d83029 26870072 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 bc59c5c70c7698975b3cc6951efe28a1ecf7fab1 1152244 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 cfa98ad71facf2c7fdfc3959b66357267eb0d6bf 1974780 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Checksums-Sha256:
 510f534d251fcfb4c538d6aa3636f8fb6ad8553baf917f0e8f219f2b7b43c7e8 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 71d240824318cf2abe0b332e6400cf26a19f565a9a94f107d91807f3632a1fe8 28360 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 daa062a772bff6770dd343827273a4c0015aaef44b6b14b8296b259e9e6535f3 15954 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 94a1ca790eca002a16dccde71e57a9e9770eee717f6b1bb01942bd9564c34275 43309856 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 fd4ee5cae305d2a5265df18dbec651ef17ec68944cf96290a3e643a8a6cef431 57200128 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 7c5dfe44e5b02c090b34d9545d2b35f58ae55e169efc8b5f1df04502c9d99f05 26870072 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 165f2fddc72dc9f1e62852e90aaff47f8946f2ce043f982941004fabb2e6f563 1152244 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 a2228eb5d62c9a62a4c7ec48b2fd47fe171e3dcf4de32fd687fd4fece87f328a 1974780 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Files:
 6b94578457f13e9631abd56cea3db2c5 1587 math optional coq_9.2.0+dfsg-4+ocaml1.dsc
 a33dfe089575d328913178abf6c5b41a 3946088 math optional coq_9.2.0+dfsg.orig.tar.xz
 a7179bce9b6efd3b386e57e7460d42d6 28360 math optional coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 f09338f1b7658c34039ad5514cd929c2 15954 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 6d4027681c3751aa9bcea204c195574b 43309856 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 1da47d41103ff2aaa67a6a3b753ad04e 57200128 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 6e0bc265254302e2743f1f63bc26c86d 26870072 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 4a45ac5459c1cbb3e3589f0655d91edb 1152244 math optional libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 190b8e5f2587ca4c2c69d577910fa0a8 1974780 math optional rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb