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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:22:29 +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-1build11
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:22:29 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build11
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-1build11) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 04b42f09fa574a9f60569b15ae930dc1e81d4a87 2149 coq-bignums_9.0.0+coq8.20-1build11.dsc
 96b5a40f730845098701595b3f168dfa9dfecbfe 2416 coq-bignums_9.0.0+coq8.20-1build11.debian.tar.xz
 d5eab506112f09acb2fcc187c7e572e0b59ea002 7899 coq-bignums_9.0.0+coq8.20-1build11_source.buildinfo
Checksums-Sha256:
 17074e165a03c01b1f6e1fa001e784a4d386d2dafe5c0bc476e78690a75c8b75 2149 coq-bignums_9.0.0+coq8.20-1build11.dsc
 14605bc6cef8552c1066d06a9ddeb70a860b5f55fc8be513e37b200d322c184c 2416 coq-bignums_9.0.0+coq8.20-1build11.debian.tar.xz
 d5e448a32c9862e3ed28879d99f31ddd7a9dfa50fac6fd7376dc71ef85b38835 7899 coq-bignums_9.0.0+coq8.20-1build11_source.buildinfo
Files:
 91d9ef8f9b0d0acb771c533cb705d6f3 2149 ocaml optional coq-bignums_9.0.0+coq8.20-1build11.dsc
 c828fa7bd89fe387d771176e7333c62c 2416 ocaml optional coq-bignums_9.0.0+coq8.20-1build11.debian.tar.xz
 593a2002904a388020ce17b30dcc0cb5 7899 ocaml optional coq-bignums_9.0.0+coq8.20-1build11_source.buildinfo