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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 06 Nov 2023 17:03:01 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:03:01 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-3build2
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-3build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 3d24251678473185345d4a06860989b8d9cdb954 2096 coq-bignums_8.17.0-3build2.dsc
 95ee72c0f0d777ffc9dac30e6063bacf99bcacc1 2028 coq-bignums_8.17.0-3build2.debian.tar.xz
 e0a58930103b563cabfe3a538a7c648a9fada5ec 7816 coq-bignums_8.17.0-3build2_source.buildinfo
Checksums-Sha256:
 d75ba52e0e65050262f39761fe3f24f01718038be48031fae455bc775c98f6f8 2096 coq-bignums_8.17.0-3build2.dsc
 99792bb41f72f11dd65970ac3eedc2012bf2094f49fd3f2a46d5f52637ba2279 2028 coq-bignums_8.17.0-3build2.debian.tar.xz
 2ee5d699e09ca7d64ce5db337bd9c109f985bada6df75a5b7b93883ad39ecfdc 7816 coq-bignums_8.17.0-3build2_source.buildinfo
Files:
 befbc1b18186ea133156370bd3cee8e7 2096 ocaml optional coq-bignums_8.17.0-3build2.dsc
 2e9711ee53a6c6fd53cf13a83356a51f 2028 ocaml optional coq-bignums_8.17.0-3build2.debian.tar.xz
 03e65b0708e7c029a8fc511e8f9b1f9a 7816 ocaml optional coq-bignums_8.17.0-3build2_source.buildinfo