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

[Sebastien Bacher]

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

  * Rebuild for the ocaml transition

Date: Tue, 03 Mar 2026 15:36:49 +0100
Changed-By: Sebastien Bacher <seb128 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-1build12
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 15:36:49 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.20-1build12
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-bignums (9.0.0+coq8.20-1build12) resolute; urgency=medium
 .
   * Rebuild for the ocaml transition
Checksums-Sha1:
 36d9cf680c3c22468d64d3b2b7ae50435f3c88eb 2149 coq-bignums_9.0.0+coq8.20-1build12.dsc
 f575e481307122f37f696da56bc7c31e27251c2c 2456 coq-bignums_9.0.0+coq8.20-1build12.debian.tar.xz
 ab9a37cdfa626c8dec2bce0c661319ccf3b4c04a 8278 coq-bignums_9.0.0+coq8.20-1build12_source.buildinfo
Checksums-Sha256:
 5422b7668d258118065af33f8178ff841da688aba2f433155051fe3cb361778b 2149 coq-bignums_9.0.0+coq8.20-1build12.dsc
 fb8bccba456832e09e2055751b8e5d431ec33fb25e28ce5b44914d1237cbba2d 2456 coq-bignums_9.0.0+coq8.20-1build12.debian.tar.xz
 2def171d988d5b65db160f4f0f4a17ae669d7fcf239093007d6c400e5881ece6 8278 coq-bignums_9.0.0+coq8.20-1build12_source.buildinfo
Files:
 feb7eba370d26c63dc3f6650ac0af860 2149 ocaml optional coq-bignums_9.0.0+coq8.20-1build12.dsc
 5d841621e44fe6c7f5047d3e6d95f795 2456 ocaml optional coq-bignums_9.0.0+coq8.20-1build12.debian.tar.xz
 741423bcb94d8aaade64f9bc659e526f 8278 ocaml optional coq-bignums_9.0.0+coq8.20-1build12_source.buildinfo