[ubuntu/resolute-proposed] coq-bignums 9.0.0+coq8.20-1build10 (Accepted)

[Gianfranco Costamagna]

coq-bignums (9.0.0+coq8.20-1build10) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:26:51 +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-bignums/9.0.0+coq8.20-1build10
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:26:51 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build10
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-bignums (9.0.0+coq8.20-1build10) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7cb259e07c91ca4a821688ff79d69d43d8bdb4f8 2149 coq-bignums_9.0.0+coq8.20-1build10.dsc
 27ad8152d61d10d81be56266c8988f7653e91895 2400 coq-bignums_9.0.0+coq8.20-1build10.debian.tar.xz
 148eee8c46a73492400b8a18e135db149371725d 7895 coq-bignums_9.0.0+coq8.20-1build10_source.buildinfo
Checksums-Sha256:
 9e850aadd20050fddd051a869f653f67ba1be190028576cc63cfb58a1eadcefe 2149 coq-bignums_9.0.0+coq8.20-1build10.dsc
 076265284563275e41123d8d8a8236cb8bbf6489bdae51f1761f452208d432f5 2400 coq-bignums_9.0.0+coq8.20-1build10.debian.tar.xz
 74cc2b81fdeea13dcfcafd11256152dd871f734e6b2434f3dec997cb99a0734b 7895 coq-bignums_9.0.0+coq8.20-1build10_source.buildinfo
Files:
 45375b4c1e069789090ad3122433df3c 2149 ocaml optional coq-bignums_9.0.0+coq8.20-1build10.dsc
 5fb356215222937202d0add69f355a57 2400 ocaml optional coq-bignums_9.0.0+coq8.20-1build10.debian.tar.xz
 fbc33ccda6e2396a520d4d509a64b4e8 7895 ocaml optional coq-bignums_9.0.0+coq8.20-1build10_source.buildinfo