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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:45:51 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:45:51 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-2build3
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-2build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4d369dcc6b6282ddd335575bdacfde2b9038b017 2050 coq-stdpp_1.8.0-2build3.dsc
 6157aa7e95a88769a0e5d9e56bfe2b2d1edad6a3 2444 coq-stdpp_1.8.0-2build3.debian.tar.xz
 894cc2735fb5857e24b04c597d9b47c7e73c25af 7879 coq-stdpp_1.8.0-2build3_source.buildinfo
Checksums-Sha256:
 42dd7bd1b867dc03df077303849143f55129358e18ec39cb6b4026b3b4a24e67 2050 coq-stdpp_1.8.0-2build3.dsc
 d05f486bdf100d52c4f5e05260f5fc36561a0241cd27ebb43fd04d3118c9be45 2444 coq-stdpp_1.8.0-2build3.debian.tar.xz
 d91aee87fbe2e6ac6a3784a296e64a0998b8d6fe46bcddbf22d33c45c8283972 7879 coq-stdpp_1.8.0-2build3_source.buildinfo
Files:
 21bf1faeeff637f20b3bd4465b8fea99 2050 ocaml optional coq-stdpp_1.8.0-2build3.dsc
 7b5363968629fe6dd0b2fba7c48efdcb 2444 ocaml optional coq-stdpp_1.8.0-2build3.debian.tar.xz
 49125d143d68e665b0f310405f807421 7879 ocaml optional coq-stdpp_1.8.0-2build3_source.buildinfo