Format: 1.8
Date: Tue, 06 Jan 2026 08:10:07 +0100
Source: coq
Binary: coq coq-dbgsym coqide coqide-dbgsym libcoq-core-ocaml libcoq-core-ocaml-dbgsym libcoq-core-ocaml-dev libcoq-stdlib
Architecture: source amd64
Version: 8.20.1+dfsg-1+ocaml1
Distribution: unstable
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)
 coqide     - proof assistant for higher-order logic (gtk interface)
 libcoq-core-ocaml - runtime libraries for Coq
 libcoq-core-ocaml-dev - development libraries and tools for Coq
 libcoq-stdlib - proof assistant for higher-order logic (theories)
Changes:
 coq (8.20.1+dfsg-1+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 e9a6bddfb26f6424d3779cc2d29d6a5436c05c00 1690 coq_8.20.1+dfsg-1+ocaml1.dsc
 a95cfc700019159da05ba7bb6e3afc4e6fdc78a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 35ccba88c04882a25867e15a0b8b2a4a059d5548 30260 coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz
 50414603fc1e2fab9662c9271283c56cd3b5d817 8869784 coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 604f7cd9b465f11a02c5873e6a1d320be9311f58 17133 coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo
 04a945febab5d798f257b063c42ed87e1c039bd2 71090936 coq_8.20.1+dfsg-1+ocaml1_amd64.deb
 c3c3f56cf003dddc0413da783df30429dc471fa3 644556 coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 7b5ac8dfd94d160f3996f914724af5f741ee7ff1 1940536 coqide_8.20.1+dfsg-1+ocaml1_amd64.deb
 eec0eafa332403ab25bcb93fb1b2c3a4b2a99e2a 2515140 libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 0e1d2705a364461f143b1a3dca5168837e8505eb 52000808 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb
 1a5fbbee5facd330db1c3034ee21350470a9134e 24208672 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb
 f0e51b4594305894a593d369d107c16983bddd2c 23527552 libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb
Checksums-Sha256:
 9ad9c4e126ece8450ce620b788d18df392b4c3f3eb91fb029ea081ef9d5b6947 1690 coq_8.20.1+dfsg-1+ocaml1.dsc
 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 52b2f03089ed5eada724e460d971a762a5e5ec73b2cbf62cd72a5707ecfa33df 30260 coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz
 34d1a7d52a805856e00c5df240ee8ce055dd6bf9a2bcbdd5f52feeee1eaf67e1 8869784 coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 b40a44b5dffacd917ba8ae46eb909170ad84c390b913859e79d43880e42aad4a 17133 coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo
 08d179977270933e9148fed75b8f7098a4d59365d3a1d1ce7102ef340c4ecd94 71090936 coq_8.20.1+dfsg-1+ocaml1_amd64.deb
 51443ab3bccf72b6d6af6b4467d33687c8e4bc3ea8e137a9de86ef13223d6525 644556 coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 a9c7e74b600443630cf1289bc13112fb501c5a14863639863ef0dca8f3bf47ac 1940536 coqide_8.20.1+dfsg-1+ocaml1_amd64.deb
 c9690546e03987643b8879f0cc625c26135dda3514a383f8fb0d8c13492b2944 2515140 libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 fc91851f18d938933cdc692d8b6a31d28882d944d92347ab92be2be981417094 52000808 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb
 101f776306cb2b1cf9c4360340bb31251784ed6f16b278e2e29c11319bd0796a 24208672 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb
 bc15744cacd67441c3d0e911cfffa2ee80eb6be8dcf2123d236b33b03176165b 23527552 libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb
Files:
 684e796c39240062b8fb86040e5b1962 1690 math optional coq_8.20.1+dfsg-1+ocaml1.dsc
 5ac7712d0d946a8733aa3fea7eae57bb 5014988 math optional coq_8.20.1+dfsg.orig.tar.xz
 675ad55c201a1297b6f7f0526be65bec 30260 math optional coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz
 6f3510f63b50989a3d6767d4521df906 8869784 debug optional coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 54c8b7aa355de46de83482ac5a4f5c93 17133 math optional coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo
 69eaa9aeb96f5836f76d6a8cad4fa92b 71090936 math optional coq_8.20.1+dfsg-1+ocaml1_amd64.deb
 59248dc41eb0a73ea8d5a69cad16eb80 644556 debug optional coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 cd2041138883d3d217ab8026bb7804d1 1940536 math optional coqide_8.20.1+dfsg-1+ocaml1_amd64.deb
 9d42fe8afeb624499e299a68c21dae11 2515140 debug optional libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 4726e2fbabdce746e785788ba571a95f 52000808 ocaml optional libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb
 49c2f487dc0e713a2f2f30a1edabbb2a 24208672 ocaml optional libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb
 1945f8706eb67ccaf5428135c1044e6c 23527552 math optional libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb