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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:10:54 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:10:54 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.16.0-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0008726d53f0ae0100345505bfe86cff0c962c52 2091 coq-bignums_8.16.0-1build2.dsc
 faa881a9b9a3655fad3db6ff73ff92d05ec1e501 1884 coq-bignums_8.16.0-1build2.debian.tar.xz
 bdf765e0ace8478981c97a1bf7165ace4e44de31 7889 coq-bignums_8.16.0-1build2_source.buildinfo
Checksums-Sha256:
 c81907a89862afa154043c1a701e2c63a6072c4d60b216a4fe34ffa5c1b71618 2091 coq-bignums_8.16.0-1build2.dsc
 db20654ba9bbc33a7c640a9ab81ad8db8ecb11112ba93032a086a76cc1ce97ee 1884 coq-bignums_8.16.0-1build2.debian.tar.xz
 b0f0fa76f9cc21ef09e3933b0fd9e9cb27517a1ed480b22ff6365f5b5095b788 7889 coq-bignums_8.16.0-1build2_source.buildinfo
Files:
 ae1bc054f8b183f8bbd3fccf4d133f90 2091 ocaml optional coq-bignums_8.16.0-1build2.dsc
 6695b8a3ae693562a5280b68fa93a8b6 1884 ocaml optional coq-bignums_8.16.0-1build2.debian.tar.xz
 fb6b29d83e8978652a661d558521a6f1 7889 ocaml optional coq-bignums_8.16.0-1build2_source.buildinfo