[ubuntu/lunar-proposed] coq-bignums 8.16.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-bignums (8.16.0-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 25 Nov 2022 12:00:44 +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.16.0-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 12:00:44 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-1build1
Distribution: lunar
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.16.0-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 e15e4af1fea9bd6547c86d8a250bf05790f0b5d8 2091 coq-bignums_8.16.0-1build1.dsc
 6d2e277136d22b317ff0a29e70754e02f349331e 1876 coq-bignums_8.16.0-1build1.debian.tar.xz
 6acfd9759ad126d47db44b68c1c457edb8ded166 7889 coq-bignums_8.16.0-1build1_source.buildinfo
Checksums-Sha256:
 8bceaccdb9e8ccf400d307e9b48be5ba9122f045ad4d7014d38526b13457168b 2091 coq-bignums_8.16.0-1build1.dsc
 6eb451f07bec0cc517a6567f765e16229fd41aaa98f1e54b7c056c78c72ec498 1876 coq-bignums_8.16.0-1build1.debian.tar.xz
 53b2822d47afc97ba73d24b527d39ce7670ecb1f568959f178c6d71a424d96b7 7889 coq-bignums_8.16.0-1build1_source.buildinfo
Files:
 2618eb5a7d93a6eab9028827f72eec4f 2091 ocaml optional coq-bignums_8.16.0-1build1.dsc
 128b2ea6ac35de158933894b18f49b37 1876 ocaml optional coq-bignums_8.16.0-1build1.debian.tar.xz
 e23c90ab59776be9650c9a10c9d021ca 7889 ocaml optional coq-bignums_8.16.0-1build1_source.buildinfo