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

[Gianfranco Costamagna]

coq-bignums (9.0.0+coq8.20-1build7) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:22:20 +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-1build7
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:22:20 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build7
Distribution: plucky
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-1build7) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 96005aa1912ba688d641b27453172c0ec6238701 2145 coq-bignums_9.0.0+coq8.20-1build7.dsc
 d1b0ffb9541a6d57878999b0aef30da7a4cd61aa 2328 coq-bignums_9.0.0+coq8.20-1build7.debian.tar.xz
 4e5be0c755a398b44ae0f51099e547a9a29c0a95 7335 coq-bignums_9.0.0+coq8.20-1build7_source.buildinfo
Checksums-Sha256:
 8f463b9e41f1c23b75b0e7a8cf5e2e818afff32f0b4ba3aa7898d0a035b76523 2145 coq-bignums_9.0.0+coq8.20-1build7.dsc
 73a68bed4170b06c52a765cf5baaedf6d14ed159b9a80e7f7d7caf9f3bbdb2c4 2328 coq-bignums_9.0.0+coq8.20-1build7.debian.tar.xz
 c4e28f23cb69d507320b15de43740c07edb2d91cabc9704ecdde2b14e7f063f1 7335 coq-bignums_9.0.0+coq8.20-1build7_source.buildinfo
Files:
 fa684776edac2897bd4262f8334923e5 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build7.dsc
 c93ad587b424cd669bcd41b100185f68 2328 ocaml optional coq-bignums_9.0.0+coq8.20-1build7.debian.tar.xz
 85f0960a60d30b064033751717a4c95c 7335 ocaml optional coq-bignums_9.0.0+coq8.20-1build7_source.buildinfo