Format: 1.8
Date: Wed, 11 Nov 2026 14:23:05 +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:
 cb9245eaf5c7db0cdafbd41fed49e3cd1e1e199b 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 651b3d3858235f80e2aeb62ab57ce0b8081cce16 3946088 coq_9.2.0+dfsg.orig.tar.xz
 3749200895edd92e45bcc529c6166c9f5cb79d5a 28364 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 8bd96a861c4e54b1f47eebec3fd01e6345a35012 16173 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 6af3a8ffdac76a04cd4f01d93fd58cce0ac4cb19 43290068 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 8273af38bc01b8c06c66e455b58493483202a57f 57220936 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 8790aa521d6e59fab4922be552afe74cc402e816 26866436 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 12e1f376deab5d33fd40bcd6b80ea30079b8e8e6 1152252 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 433e781b72d918cc12c7c70a63ad843d910ebc65 1982704 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Checksums-Sha256:
 50e79e0952c682132ee2e0cb718729c4b730217aff17534a2a8f8a5102611f0d 1587 coq_9.2.0+dfsg-4+ocaml1.dsc
 6d04561edb60ef68f5cf73c6f6fdb25c31cf6bf0c96f01fd0861f0c99a9c49db 3946088 coq_9.2.0+dfsg.orig.tar.xz
 976bfcb879eeb87daf1b8395b3d6c4ea96002bee60f3f67cc95af5b08f768b51 28364 coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 5ea8ebae697aecf57668279f450d088cb1f7d59f282e42f240d71af54fb43433 16173 coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 47d7357adc262fa02b31ba99e18f1bfbecf2a37619b7259dcc6482655a0188e9 43290068 coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 658b2616308cae1516e101a257be0de6fc119e548f6471d16122928a9954d619 57220936 libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 2394d19cca43e992eceb0f98be5ae063920d97fb06683040c1c1306d3e86b833 26866436 libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 b62ff755cde19e0ca449ea7366384cee3017401ddaa5581909339dd78bf47881 1152252 libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 d2ed7290b22745bea14c7e2d2e3cd1169883615117ad3b886c334a38c6f668b4 1982704 rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb
Files:
 deed97abdaf022f565513d1dbc14a3df 1587 math optional coq_9.2.0+dfsg-4+ocaml1.dsc
 a33dfe089575d328913178abf6c5b41a 3946088 math optional coq_9.2.0+dfsg.orig.tar.xz
 56d850fc882584172190e98706dd8ca2 28364 math optional coq_9.2.0+dfsg-4+ocaml1.debian.tar.xz
 060abc022e4ceed8c85bbe71f470b0c9 16173 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.buildinfo
 0ed989a8bc88826fe26a0566344efdb4 43290068 math optional coq_9.2.0+dfsg-4+ocaml1_amd64.deb
 9c9591780c03489ce31434d9a9de3eec 57220936 ocaml optional libcoq-core-ocaml-dev_9.2.0+dfsg-4+ocaml1_amd64.deb
 47e126a958f14a0a1c2092a5e8769f76 26866436 ocaml optional libcoq-core-ocaml_9.2.0+dfsg-4+ocaml1_amd64.deb
 31e246a98d1f8df07ca914e1157d010b 1152252 math optional libcoq-core_9.2.0+dfsg-4+ocaml1_amd64.deb
 2debea5b694d3d54b37ca1a82f10076d 1982704 math optional rocqide_9.2.0+dfsg-4+ocaml1_amd64.deb