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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00:09 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:09 +0100
Source: coq-bignums
Built-For-Profiles: noudeb
Architecture: source
Version: 8.17.0-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 bde9d5b5cf5f539f4df47c9d1f6f596a5fb53fca 2096 coq-bignums_8.17.0-2build1.dsc
 2cd3c98ff141f3530eb484071facdecd5e5e65fd 1924 coq-bignums_8.17.0-2build1.debian.tar.xz
 ada3581d0ad281896e7a88e6cf75401cdae4e8a6 7112 coq-bignums_8.17.0-2build1_source.buildinfo
Checksums-Sha256:
 f3a5a51318e87834428bf73eb7adb9db94f1af670b083893ae6553165fbd583e 2096 coq-bignums_8.17.0-2build1.dsc
 22e14c906fae2b35667df67a739dd86bce72eba0595f321bcd9448e06fb92aec 1924 coq-bignums_8.17.0-2build1.debian.tar.xz
 73c2150431ce9daca70dcbda6781e8008cc0174d4b3c2ce56c55e6ee1ea5bc7e 7112 coq-bignums_8.17.0-2build1_source.buildinfo
Files:
 780af1bf777515a3c0565a66e58f75f5 2096 ocaml optional coq-bignums_8.17.0-2build1.dsc
 85f257fa988b90caf15e55f702befc3a 1924 ocaml optional coq-bignums_8.17.0-2build1.debian.tar.xz
 7271d73458c32a902a27765434a05562 7112 ocaml optional coq-bignums_8.17.0-2build1_source.buildinfo