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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 01 Jun 2022 17:34:28 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Wed, 01 Jun 2022 17:34:28 +0200
Source: coq-bignums
Architecture: source
Version: 8.15.0-2build1
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-2build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4a8a1347c9fa323cfc798459b2952922c00e395c 2187 coq-bignums_8.15.0-2build1.dsc
 f1bfcab91664b313ccbf9235cb7fd81da36cba1b 1880 coq-bignums_8.15.0-2build1.debian.tar.xz
 1d7755bf662104a2a8ad150f2824bbb187bb231c 7364 coq-bignums_8.15.0-2build1_source.buildinfo
Checksums-Sha256:
 3f10f2a65e96b4ba7c14af9ad12d36021f1eacb3492de5cbf68934a074f815a0 2187 coq-bignums_8.15.0-2build1.dsc
 2fa155fd6042e1a3f32c1d63edaa99b64de25d8b402e4e1d74880b695e15e11f 1880 coq-bignums_8.15.0-2build1.debian.tar.xz
 5733f5162d6d13b26045b2a706fa5fa8458ff0f6539cfa74f72f0deb75d6c36e 7364 coq-bignums_8.15.0-2build1_source.buildinfo
Files:
 a2e9c01f3ffde63842decc82fd6e99b8 2187 ocaml optional coq-bignums_8.15.0-2build1.dsc
 bb3de5a6e42c876c75cae52c3676f233 1880 ocaml optional coq-bignums_8.15.0-2build1.debian.tar.xz
 8eaf4abec67ab459b260f83f3e605459 7364 ocaml optional coq-bignums_8.15.0-2build1_source.buildinfo