[ubuntu/resolute-proposed] coq 8.20.1+dfsg-1build3 (Accepted)

[Gianfranco Costamagna]

coq (8.20.1+dfsg-1build3) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 27 Jan 2026 22:28:44 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq/8.20.1+dfsg-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 27 Jan 2026 22:28:44 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1+dfsg-1build3
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq (8.20.1+dfsg-1build3) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d703c6e69cab84db23e64d3af4b2aaa8a819eb62 2569 coq_8.20.1+dfsg-1build3.dsc
 efe4590e8fd0ab22aa287b65e9da18c128965482 30312 coq_8.20.1+dfsg-1build3.debian.tar.xz
 eadc5669335f1794331bf9630d2d9dcd5573e795 7982 coq_8.20.1+dfsg-1build3_source.buildinfo
Checksums-Sha256:
 688072571710fbb76bcee72af8e7bc83f538abf860988ac72d0a94f73e8f4c7a 2569 coq_8.20.1+dfsg-1build3.dsc
 e1920e281acf043bea6dbc7f03d436d43249c163fea086d2732c2e2581089dc7 30312 coq_8.20.1+dfsg-1build3.debian.tar.xz
 c1f1c9da79235c643c5fa3873d3bbe00cf7bb61065c59ca5bfeeef0233cf858a 7982 coq_8.20.1+dfsg-1build3_source.buildinfo
Files:
 36c0e00fbaa77d9bcf9ca0da0661f2c4 2569 math optional coq_8.20.1+dfsg-1build3.dsc
 286b57ad1d031cf93667d538e443108c 30312 math optional coq_8.20.1+dfsg-1build3.debian.tar.xz
 8c5f34ba98deb137df1d6f68fd675164 7982 math optional coq_8.20.1+dfsg-1build3_source.buildinfo