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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:44:25 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:44:25 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-1build3
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-1build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 375cf85e51bc240d3ccb3a4c901542a5e8fa337e 2091 coq-bignums_8.16.0-1build3.dsc
 0ab94ad20b2b86f422a6a81a35286428c076771f 1900 coq-bignums_8.16.0-1build3.debian.tar.xz
 b925f40c792ef775fb827397bb75ae5732de4620 7891 coq-bignums_8.16.0-1build3_source.buildinfo
Checksums-Sha256:
 37fde8b8441b2920b7016ce2ecbfe3d43252e7383acb2ce4d921c5684d6660ee 2091 coq-bignums_8.16.0-1build3.dsc
 e3d241a98588bac6ebff5d8533e18c08d5c4e865e74afc8752c9754421842639 1900 coq-bignums_8.16.0-1build3.debian.tar.xz
 dbfb9127a07345a5229935be86897987c0df3e5a77cf25a33c13c802921c3d4a 7891 coq-bignums_8.16.0-1build3_source.buildinfo
Files:
 b945a282e30b27b100cebdbf54e016c8 2091 ocaml optional coq-bignums_8.16.0-1build3.dsc
 a2e6a4f21c12ceed6b774ea17ac4c0e3 1900 ocaml optional coq-bignums_8.16.0-1build3.debian.tar.xz
 64150b8759bb29949cc650750ae0564e 7891 ocaml optional coq-bignums_8.16.0-1build3_source.buildinfo