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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:12:40 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:12:40 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.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-stdpp (1.8.0-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d5a4924a76a70aee95f838293b9626342c628a5a 2050 coq-stdpp_1.8.0-2build2.dsc
 7afd3bbebc908d139b76e37b8cbf9ad936077dab 2428 coq-stdpp_1.8.0-2build2.debian.tar.xz
 94195e592ad86342262801e190e56f81102642d6 7877 coq-stdpp_1.8.0-2build2_source.buildinfo
Checksums-Sha256:
 06b18a1418bf5e980049a5bdbc40111226d9ebf1b239d202700647b52466f010 2050 coq-stdpp_1.8.0-2build2.dsc
 ed959a38019029816260674d522c3538cfacb2deca22a2667c723cdfc9dddd28 2428 coq-stdpp_1.8.0-2build2.debian.tar.xz
 9a6243136ea9292b932603d90589ff4834b1253dc8990010092413093c9f8a21 7877 coq-stdpp_1.8.0-2build2_source.buildinfo
Files:
 f9f593d47375fdf39465d9a8c078f912 2050 ocaml optional coq-stdpp_1.8.0-2build2.dsc
 22b11604d7c7cd226591e2551c77e894 2428 ocaml optional coq-stdpp_1.8.0-2build2.debian.tar.xz
 f0a0754a55c8bc05bfe7f85191ec0402 7877 ocaml optional coq-stdpp_1.8.0-2build2_source.buildinfo