[ubuntu/plucky-proposed] coq-stdpp 1.11.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.11.0-1build3) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:33: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.11.0-1build3
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:33:51 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build3
Distribution: plucky
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.11.0-1build3) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c4c23f32d323a9d5926fc5cb6185ca0c66f6ee22 2075 coq-stdpp_1.11.0-1build3.dsc
 8e8d56a9ec2b95e0439fbde19857c1abd30d8bf2 2916 coq-stdpp_1.11.0-1build3.debian.tar.xz
 bb822abdd71428fd132d4185eecc0a29999d0fc3 7299 coq-stdpp_1.11.0-1build3_source.buildinfo
Checksums-Sha256:
 c43dd9c355ab20d67ac06b8a89f78f6dbfd5c579790fb7682f58100244941e44 2075 coq-stdpp_1.11.0-1build3.dsc
 26b6c89eb0ac76e7b59398204530f99d6e68d84ca63496653a14d03f6b8efcd5 2916 coq-stdpp_1.11.0-1build3.debian.tar.xz
 b6e364168293f8c5626870fed6c1569d6bde7ba6ce6fe8685f76e109adaf74f1 7299 coq-stdpp_1.11.0-1build3_source.buildinfo
Files:
 32646ad8ee4b0470929951d986f8caa4 2075 ocaml optional coq-stdpp_1.11.0-1build3.dsc
 340b2ff334f0c425ed27c2dfe2a436a0 2916 ocaml optional coq-stdpp_1.11.0-1build3.debian.tar.xz
 9319013eff935f0867215a39106917aa 7299 ocaml optional coq-stdpp_1.11.0-1build3_source.buildinfo