Format: 1.8
Date: Sat, 25 Apr 2026 03:52:47 +0200
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: trixie-backports-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)
 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.1
Checksums-Sha1:
 f88a6e9f7a80774d79432aac8542a0e8b32e5aa5 1690 coq_8.20.1+dfsg-1+ocaml1.dsc
 a95cfc700019159da05ba7bb6e3afc4e6fdc78a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 98c9746de4190682b40fc8d5f604692f6ece04f5 30264 coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz
 64e9aa0b8759d6b047705bc2b8d2e88fd7a8241d 8853100 coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 a7d00e8dc5ab0f43db16576338f1dc1637e4a041 17308 coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo
 56703192212fd7d8e2b7f171a4847f5791cae58e 71102948 coq_8.20.1+dfsg-1+ocaml1_amd64.deb
 f02889003415247f1838f3b9d12832467c994135 646840 coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 09dcdbde94fda9e7db05aab82e0a7fe6b18f15ba 1937580 coqide_8.20.1+dfsg-1+ocaml1_amd64.deb
 9968bbc65f0afbef782ff8974766dfa6fda8657b 2515868 libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 13bcb8f8e2861fd3d1dab3f594b5afcf8575895f 52018828 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb
 7264c387bd5477d4e6b8ecda374a044c4979cc6b 24210000 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb
 43bd80cbdc6b2ed2f08c314a8156e0a6dcb6f5ff 23531248 libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb
Checksums-Sha256:
 13cc8b9704c9ee4b3173bdd897c29e1a757123857273d7cf61bdd2cf5aa55d0e 1690 coq_8.20.1+dfsg-1+ocaml1.dsc
 333423556aa0b9f1c5ba435b8a6f081fad9613c6396d5b73784bb8028fefa7a5 5014988 coq_8.20.1+dfsg.orig.tar.xz
 d9ce102c798c4b9c64a096b1749d038e9399355b38b44fb0ceb889ad34d69f7d 30264 coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz
 a297cef69299735b17d50cb33c1fb9862a516556b7ecd4bc243a51394a034edf 8853100 coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 d94211f595df039912686e9429566b8e1813df5e68d383cb71c424b6a3954dc1 17308 coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo
 796090b434047451f0bf096e918beddd15741091d637ca95401c9fed32356f24 71102948 coq_8.20.1+dfsg-1+ocaml1_amd64.deb
 8cebe63bb0bd22d7af677357c6aa014bb8f535fd36771d38955c835971fce7b7 646840 coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 9a13dc2353cfff03344e6246a4063a53b9110828944062a29dcec1933adf7f1c 1937580 coqide_8.20.1+dfsg-1+ocaml1_amd64.deb
 94074e817f871933f5be57d245bed78343c4f6c585eff3d751f3f5b3a3435f77 2515868 libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 c2cdce22ac6c525302bf7817d757e36629f23a081c147c01e214af9f7d9e850e 52018828 libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb
 ae9dd88d9f55111cf06b44c30f0ea42a4af61a96fbe26b7f957a22bcacc03c86 24210000 libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb
 74b8717503935942f240298ebc99b46138e68b19dae3d396e2ae41aa9af7b05a 23531248 libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb
Files:
 52eaea43a92cb46a5070c07033de5e66 1690 math optional coq_8.20.1+dfsg-1+ocaml1.dsc
 5ac7712d0d946a8733aa3fea7eae57bb 5014988 math optional coq_8.20.1+dfsg.orig.tar.xz
 f3cefcf8233f7feb93dff1e41dffe077 30264 math optional coq_8.20.1+dfsg-1+ocaml1.debian.tar.xz
 26c915941b8a55c5351b5797c5ed1765 8853100 debug optional coq-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 f45a78e548ed16b2275de99fb3c146fc 17308 math optional coq_8.20.1+dfsg-1+ocaml1_amd64.buildinfo
 ebbc2fa9f0a50941ba025011c839a17e 71102948 math optional coq_8.20.1+dfsg-1+ocaml1_amd64.deb
 f98b7a73a0f75c1d954a3d42237a21ae 646840 debug optional coqide-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 80c8e86cd8089ea1d16f03fe93ba3d5b 1937580 math optional coqide_8.20.1+dfsg-1+ocaml1_amd64.deb
 b552013c17464f8788d9efa8521a2d11 2515868 debug optional libcoq-core-ocaml-dbgsym_8.20.1+dfsg-1+ocaml1_amd64.deb
 083129d8ef893e7e6b4237ad0f763997 52018828 ocaml optional libcoq-core-ocaml-dev_8.20.1+dfsg-1+ocaml1_amd64.deb
 00bd9b61c40548cc122b52ea24aa9b77 24210000 ocaml optional libcoq-core-ocaml_8.20.1+dfsg-1+ocaml1_amd64.deb
 c5338eef06ac24c38d121f2f5b85f5e1 23531248 math optional libcoq-stdlib_8.20.1+dfsg-1+ocaml1_amd64.deb