[ubuntu/lunar-proposed] coq-stdpp 1.8.0-3build2 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.8.0-3build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:29:24 +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-stdpp/1.8.0-3build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:29:24 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-3build2
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-stdpp (1.8.0-3build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 75ea6d34cdc9aee42195d0978622e66bd4af38aa 2055 coq-stdpp_1.8.0-3build2.dsc
 707c53e4374a0d2721af458fd6de347721667bd7 2468 coq-stdpp_1.8.0-3build2.debian.tar.xz
 d9102e52c229bf63084a9ac2a50053d30e137c6c 7144 coq-stdpp_1.8.0-3build2_source.buildinfo
Checksums-Sha256:
 daf895f017345856ed2cc74d9c309ab1d48260d47f8f416a45cc5f83af79b428 2055 coq-stdpp_1.8.0-3build2.dsc
 164d75abf0a5fe1a1085af301013dff8891b67afaca294a9a0184974710b6571 2468 coq-stdpp_1.8.0-3build2.debian.tar.xz
 0e804bd583dc3fd96bd75cfac51073fdf64eccaa870f5ed93ee2babb15560300 7144 coq-stdpp_1.8.0-3build2_source.buildinfo
Files:
 f999431ef02cbe3ef7b29495e3030d7e 2055 ocaml optional coq-stdpp_1.8.0-3build2.dsc
 58ea0c6cda0e8185bf823330d25c5541 2468 ocaml optional coq-stdpp_1.8.0-3build2.debian.tar.xz
 a114b3f917256829e5afe79a6226b09c 7144 ocaml optional coq-stdpp_1.8.0-3build2_source.buildinfo