[ubuntu/resolute-proposed] coq-doc 8.20.0-2build1 (Accepted)

[Gianfranco Costamagna]

coq-doc (8.20.0-2build1) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Wed, 03 Dec 2025 10:54:55 +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-doc/8.20.0-2build1
-------------- next part --------------
Format: 1.8
Date: Wed, 03 Dec 2025 10:54:55 +0100
Source: coq-doc
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-2build1
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-doc (8.20.0-2build1) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a4539695f578fdb1bd30df00add07b609470eb3d 2559 coq-doc_8.20.0-2build1.dsc
 7638bc0d140b5eb98a8bd1910f6f4a56dbc41517 8900 coq-doc_8.20.0-2build1.debian.tar.xz
 2d1699f43a6a16e32897ff25970ca2ecd8dc187c 6740 coq-doc_8.20.0-2build1_source.buildinfo
Checksums-Sha256:
 c20a82108a309bfdd5d2e742aa8ebd81e0710e39fbdf97e33b620a06850ed519 2559 coq-doc_8.20.0-2build1.dsc
 290a7f91d9e54508ff6f719edca532673222045541be2015fd1f5e62546e1a88 8900 coq-doc_8.20.0-2build1.debian.tar.xz
 76f91508f3173332fccbf9cb9a0c9649002579db464ae80d6c92a69c93caccb8 6740 coq-doc_8.20.0-2build1_source.buildinfo
Files:
 3d2a8ed0f9297b4cd0fbd8edfcf426fa 2559 non-free/doc optional coq-doc_8.20.0-2build1.dsc
 fb7276d73c6d69ed1627e1e997aceafb 8900 non-free/doc optional coq-doc_8.20.0-2build1.debian.tar.xz
 160567bc3b73875330e9297daeb7002e 6740 non-free/doc optional coq-doc_8.20.0-2build1_source.buildinfo