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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:14:27 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-bignums/9.0.0+coq8.20-1build6
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:14:27 -0500
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build6
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-bignums (9.0.0+coq8.20-1build6) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 b8265068a3394024a58746ef0e2cf93d3103fa07 2145 coq-bignums_9.0.0+coq8.20-1build6.dsc
 96db5c3a9ea3f6b11f9eb1a6e66545f9f7bad8b6 2312 coq-bignums_9.0.0+coq8.20-1build6.debian.tar.xz
 f409f0f8290392a6d19fec7ea041f206ca539929 7090 coq-bignums_9.0.0+coq8.20-1build6_source.buildinfo
Checksums-Sha256:
 7eae8387ac7fa828767b6c3a4a2db534d41be8e03cdefc4baa450afadffd2e67 2145 coq-bignums_9.0.0+coq8.20-1build6.dsc
 1cae708c3767863b70ebaf1ca7d609ecf5509adf1f002b682f5b683bbd990ae9 2312 coq-bignums_9.0.0+coq8.20-1build6.debian.tar.xz
 a061c21794951455af2aed2246521aa199ad3630bfd196d5fcf03940475194c3 7090 coq-bignums_9.0.0+coq8.20-1build6_source.buildinfo
Files:
 5b6422ef490036f1daeacf9c24aa7221 2145 ocaml optional coq-bignums_9.0.0+coq8.20-1build6.dsc
 a66360ea2a8948c6a90fab4980fe93d2 2312 ocaml optional coq-bignums_9.0.0+coq8.20-1build6.debian.tar.xz
 a3893ee5c46ef0785cff63ef55837c03 7090 ocaml optional coq-bignums_9.0.0+coq8.20-1build6_source.buildinfo