[ubuntu/noble-proposed] coq-bignums 9.0.0+coq8.18-1build1 (Accepted)

[Steve Langasek]

coq-bignums (9.0.0+coq8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:12:28 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-bignums/9.0.0+coq8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:12:28 +0000
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 9.0.0+coq8.18-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-bignums (9.0.0+coq8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 7ae16da534f05306c2860cdbf47b982a4a868218 2261 coq-bignums_9.0.0+coq8.18-1build1.dsc
 84841e0e2f1e88ce4d50afaf2034a3356fc515e5 2164 coq-bignums_9.0.0+coq8.18-1build1.debian.tar.xz
 85ac61c7347cdbb107538ee266ef378f8c53f558 6750 coq-bignums_9.0.0+coq8.18-1build1_source.buildinfo
Checksums-Sha256:
 8c13e2e10982dbf2ba1f3b760efcfcf5ae11456312204b8f6eecaebe98f123fb 2261 coq-bignums_9.0.0+coq8.18-1build1.dsc
 661adb54e66c4e24862596798d4afe9ad91ed6d71fc5ece8e3b2b4736c655d61 2164 coq-bignums_9.0.0+coq8.18-1build1.debian.tar.xz
 8f2d4b7664058bf50962c1b20c72a5fb73367ae75909ce5a1c93c62653bbe76a 6750 coq-bignums_9.0.0+coq8.18-1build1_source.buildinfo
Files:
 96cf38ab77e0b199b68f3cd39fad242d 2261 ocaml optional coq-bignums_9.0.0+coq8.18-1build1.dsc
 04ac93d346b7aa1a7ecd572022e2abc2 2164 ocaml optional coq-bignums_9.0.0+coq8.18-1build1.debian.tar.xz
 08a34f99c2816a6e12ab57cc76f8f4db 6750 ocaml optional coq-bignums_9.0.0+coq8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>