[ubuntu/noble-proposed] coq-bignums 8.17.0-3build3 (Accepted)

[Gianfranco Costamagna]

coq-bignums (8.17.0-3build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:40:36 +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/8.17.0-3build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:40:36 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-3build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-bignums (8.17.0-3build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 361f344e9bada0bb065d46c02135eaeeb63772e2 2096 coq-bignums_8.17.0-3build3.dsc
 cd704c0098c4e4f9d5443ab9493dae85972ffe18 2040 coq-bignums_8.17.0-3build3.debian.tar.xz
 529d222238f2777c3970cd73768ac0531189aa7f 7816 coq-bignums_8.17.0-3build3_source.buildinfo
Checksums-Sha256:
 6b09e5c5764726016c7bea6fd151e9f2e157db82dcb799439e2cda2a92d0d59d 2096 coq-bignums_8.17.0-3build3.dsc
 f13c54d6d28e91ca6bd139aa72e85b87f1f4f65de835f016a34aa4d9f356f665 2040 coq-bignums_8.17.0-3build3.debian.tar.xz
 ba1c7d2d2482b2c5c271d0e17ed6664d7169ec8e94d7ab73eb3d0d1554f56e5d 7816 coq-bignums_8.17.0-3build3_source.buildinfo
Files:
 fb85c6e1a215cd2b26f8a1377a8117ba 2096 ocaml optional coq-bignums_8.17.0-3build3.dsc
 ff7487fe5f83a420bc163c5c60df41ec 2040 ocaml optional coq-bignums_8.17.0-3build3.debian.tar.xz
 fdcb57a9fd11e8b6900e01ef8793e2c6 7816 ocaml optional coq-bignums_8.17.0-3build3_source.buildinfo