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

[Gianfranco Costamagna]

coq-bignums (9.0.0+coq8.20-1build9) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:27:14 +0200
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-1build9
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:27:14 +0200
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build9
Distribution: questing
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-1build9) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c986c0e5f7d56e51669a196767c4ba5521644d03 2145 coq-bignums_9.0.0+coq8.20-1build9.dsc
 248b0b6d9ef7bff071e253fa6363c5773644ce82 2376 coq-bignums_9.0.0+coq8.20-1build9.debian.tar.xz
 653bab3bd7b79d16482490a3cb64948892894fa5 6898 coq-bignums_9.0.0+coq8.20-1build9_source.buildinfo
Checksums-Sha256:
 351cfc3b9c21ca3da09d9607b72ea8fbfea40407eb460de9d65ed73e8d4fd2b0 2145 coq-bignums_9.0.0+coq8.20-1build9.dsc
 eeac4a0a5f2bf83ea5d594cc2dac862e2b38ced89c8c7acffd8b011865075431 2376 coq-bignums_9.0.0+coq8.20-1build9.debian.tar.xz
 fc259d4ac3306f790a00cfdf9febda4fde4c8cc70529ef78cb880841c5082b48 6898 coq-bignums_9.0.0+coq8.20-1build9_source.buildinfo
Files:
 0e8ff0f8e39ace8d251c9bed19dae531 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build9.dsc
 1c79a10b5bbacbf470d2b40153136029 2376 ocaml optional coq-bignums_9.0.0+coq8.20-1build9.debian.tar.xz
 c72521a7d96c5bf9ee78375a47a67de8 6898 ocaml optional coq-bignums_9.0.0+coq8.20-1build9_source.buildinfo