[ubuntu/lunar-proposed] coq-bignums 8.17.0-2build2 (Accepted)

[Gianfranco Costamagna]

coq-bignums (8.17.0-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:27:58 +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.17.0-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:27:58 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-2build2
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.17.0-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 87a25b2ada7147d55a8e0e2644072d70bfa551ba 2096 coq-bignums_8.17.0-2build2.dsc
 a4bd6ac8dac259a70d7762d6bb57acb28161fa14 1936 coq-bignums_8.17.0-2build2.debian.tar.xz
 c5fd90c44ed996db87bc0eccda652b60e6202809 7156 coq-bignums_8.17.0-2build2_source.buildinfo
Checksums-Sha256:
 bc215fa8e74d6d31f804734d50e96871dd375decb2f1d039ebb1f43aa3eedb24 2096 coq-bignums_8.17.0-2build2.dsc
 6424166bd337ce825d331134fb2dbe822bdb019e63ed4c2fe43647483ddcc665 1936 coq-bignums_8.17.0-2build2.debian.tar.xz
 64394f986d478bb3ce19e4a5f6d79309561d945aec1b46c9a65d041c748f17e9 7156 coq-bignums_8.17.0-2build2_source.buildinfo
Files:
 b553321a896765550668ce88aabe934e 2096 ocaml optional coq-bignums_8.17.0-2build2.dsc
 bebf7510ec9f26c859d5b4caa590d6fc 1936 ocaml optional coq-bignums_8.17.0-2build2.debian.tar.xz
 492bb834ef2db7aca73f3dc3478cd969 7156 ocaml optional coq-bignums_8.17.0-2build2_source.buildinfo