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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 09:24:13 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 09:24:13 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.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-stdpp (1.8.0-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 031dc31ca9ac362b9e85d3b483eced71ed52a822 2050 coq-stdpp_1.8.0-2build1.dsc
 8eacf6ced061b92a3a7fd3bef154ba9166fb3e14 2420 coq-stdpp_1.8.0-2build1.debian.tar.xz
 a7c06695f847eb58f1f6defe786c3372c1b73284 7877 coq-stdpp_1.8.0-2build1_source.buildinfo
Checksums-Sha256:
 8ad8fb2997b4c5dfeffc1191612bb0d5e53b71c54ddd01ea2e93d52274203786 2050 coq-stdpp_1.8.0-2build1.dsc
 bed349ecc88f8b621d59de71b6d3de5a9726da8b06a4e2a94ba283b63b7b995e 2420 coq-stdpp_1.8.0-2build1.debian.tar.xz
 1271fcf75f9f2fd5457b6153384f93aab6ad143a16ccf1364ada5ccdeed7cba0 7877 coq-stdpp_1.8.0-2build1_source.buildinfo
Files:
 ac9be8bbd3410d4be1f506c38b2df021 2050 ocaml optional coq-stdpp_1.8.0-2build1.dsc
 1fd20d1585c1cb809fdda449dfe559ba 2420 ocaml optional coq-stdpp_1.8.0-2build1.debian.tar.xz
 5a218699327b1cd1d0ee3a4ba06254d9 7877 ocaml optional coq-stdpp_1.8.0-2build1_source.buildinfo