Format: 1.8
Date: Tue, 06 Jan 2026 03:55:45 +0100
Source: coq-doc
Binary: coq-doc coq-doc-html coq-doc-pdf
Architecture: source all
Version: 8.20.0-2+ocaml1
Distribution: unstable
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Changed-By: Anonymous Builder <builder@example.org>
Description:
 coq-doc    - documentation for Coq
 coq-doc-html - documentation for Coq in html format
 coq-doc-pdf - documentation for Coq in pdf format
Changes:
 coq-doc (8.20.0-2+ocaml1) trixie-backports-ocaml; urgency=medium
 .
   * Rebuild for transition ocaml-5.4.0
Checksums-Sha1:
 2637c373e247a120f110b328ba41d3b12001948f 1680 coq-doc_8.20.0-2+ocaml1.dsc
 c19686bcd38c1dc74e1ad785261c2e8e0b11bb91 7839432 coq-doc_8.20.0.orig.tar.gz
 a5ba96e43f8cc823933aa3803a1f8cd32c073351 8904 coq-doc_8.20.0-2+ocaml1.debian.tar.xz
 904a938e5c163287d82c2d186847fc88bf476de3 1712792 coq-doc-html_8.20.0-2+ocaml1_all.deb
 4a1e43d469354d022bb5d13ddd4e1e9fadd3fe11 5062168 coq-doc-pdf_8.20.0-2+ocaml1_all.deb
 fc5264c1fb47094d0af73c49bdc21e510cfcdbe7 5456 coq-doc_8.20.0-2+ocaml1_all.deb
 1ed11144e9f5b0b13464c6073274afe4770d5d7e 13149 coq-doc_8.20.0-2+ocaml1_amd64.buildinfo
Checksums-Sha256:
 1a8aea62cd0d2a07d6d79d2ebe8bd256dca525a4188041b81e9a32430113a553 1680 coq-doc_8.20.0-2+ocaml1.dsc
 b08b364e6d420c58578d419247c5a710f4248bab962a46e542d452edac9e7914 7839432 coq-doc_8.20.0.orig.tar.gz
 051e4028fc54ddc18216eb32b0d4d47ff6c261004c6794419ac9dc46683f26b5 8904 coq-doc_8.20.0-2+ocaml1.debian.tar.xz
 82d434a7b3f46e0e2282487959706384dea18844dee3dd5ac9a833a700df80c7 1712792 coq-doc-html_8.20.0-2+ocaml1_all.deb
 a681cdc43bdc2a1d05eeb3fcfe1a439bbc5270b34db3e012520975c5f0d54b8b 5062168 coq-doc-pdf_8.20.0-2+ocaml1_all.deb
 c360f213cc3fd9d16a6a4eba09b90a1e7c00379336fb342258237d06a218a239 5456 coq-doc_8.20.0-2+ocaml1_all.deb
 a88be88c8b9d8b878063964367cb90fbf3ed4ceea8547eb3a205fab76bcddf14 13149 coq-doc_8.20.0-2+ocaml1_amd64.buildinfo
Files:
 6d67194ee64a1d9615836cb00fedcd39 1680 non-free/doc optional coq-doc_8.20.0-2+ocaml1.dsc
 66e57ea55275903bef74d5bf36fbe0f1 7839432 non-free/doc optional coq-doc_8.20.0.orig.tar.gz
 683f26973f9af8794ea577227be8937f 8904 non-free/doc optional coq-doc_8.20.0-2+ocaml1.debian.tar.xz
 b8c73a5c32c66dec0b6f487a64f3a92c 1712792 non-free/doc optional coq-doc-html_8.20.0-2+ocaml1_all.deb
 a24208fd5f44803317dd82a5fea4f28f 5062168 non-free/doc optional coq-doc-pdf_8.20.0-2+ocaml1_all.deb
 24988434be140118aa7dbb64ac61397a 5456 non-free/doc optional coq-doc_8.20.0-2+ocaml1_all.deb
 feba6af3c1cd921641cc3e09e7a0e2bc 13149 non-free/doc optional coq-doc_8.20.0-2+ocaml1_amd64.buildinfo