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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 18:55:56 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 18:55:56 +0100
Source: coq
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.1+dfsg-1build2
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-1build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 2c67f436f50b82008338fde41bf79b540814baaf 2569 coq_8.20.1+dfsg-1build2.dsc
 c26ec731bacd375ef8b2465b4939f4d0b618d8ca 30280 coq_8.20.1+dfsg-1build2.debian.tar.xz
 5746a3a9eb49c003702432bff8aac6863105e7e4 7978 coq_8.20.1+dfsg-1build2_source.buildinfo
Checksums-Sha256:
 8ad063ca518c0471ab4c6b616ce2b911fb3fc41203bd19d6e998b50b69478ff9 2569 coq_8.20.1+dfsg-1build2.dsc
 91621ac550b3e8c90b51c3114c246b07e8b0f7f82586e75fe72a68015883f93a 30280 coq_8.20.1+dfsg-1build2.debian.tar.xz
 6e814c9439ac7d42ba5b766930d1c6acdf57ff3835b0b6476e26a2080c01d71a 7978 coq_8.20.1+dfsg-1build2_source.buildinfo
Files:
 acb972c2664209ff549277097f80db42 2569 math optional coq_8.20.1+dfsg-1build2.dsc
 f4a0b85a2ace0a98be6387c110544026 30280 math optional coq_8.20.1+dfsg-1build2.debian.tar.xz
 4f6d8ccdd5be7dd9c755a7c2dd10eb26 7978 math optional coq_8.20.1+dfsg-1build2_source.buildinfo