[ubuntu/kinetic-proposed] coq-bignums 8.15.0-5build1 (Accepted)

[Gianfranco Costamagna]

coq-bignums (8.15.0-5build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 Jun 2022 16:03:24 +0200
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.15.0-5build1
-------------- next part --------------
Format: 1.8
Date: Mon, 13 Jun 2022 16:03:24 +0200
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.15.0-5build1
Distribution: kinetic
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.15.0-5build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b7c2bade6705f67dbbcae688835d41fe4df50aa2 2210 coq-bignums_8.15.0-5build1.dsc
 dfd49e387a19ae0ce665e2a80eafa0d180fa2049 1960 coq-bignums_8.15.0-5build1.debian.tar.xz
 76d88b4438aa121b832617e68cc6a7195fb43ede 7343 coq-bignums_8.15.0-5build1_source.buildinfo
Checksums-Sha256:
 119dd682477ba70620ba50b938a4f1456082776facdd273cec7c8bf636f48756 2210 coq-bignums_8.15.0-5build1.dsc
 b6e1952dd233d26893f20b637d8dbb026558acb1cf2f48068c32cebcfcfe27ea 1960 coq-bignums_8.15.0-5build1.debian.tar.xz
 09b187201bc6dd2bef649415da440889719c7506cc1ae9d93bf6feb23b0f225f 7343 coq-bignums_8.15.0-5build1_source.buildinfo
Files:
 4dec5ebb2e7564aa18871a9e4fb7285c 2210 ocaml optional coq-bignums_8.15.0-5build1.dsc
 6a27dc607e3c7ac09bbcaae37c2a4079 1960 ocaml optional coq-bignums_8.15.0-5build1.debian.tar.xz
 123cd76ba62c946e6dbcf9c04d5fa8da 7343 ocaml optional coq-bignums_8.15.0-5build1_source.buildinfo