[ubuntu/oracular-proposed] coq-stdpp 1.10.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.10.0-1build1) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:10:27 +0200
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.10.0-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:10:27 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build1
Distribution: oracular
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.10.0-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c00298a2e8f3207aeb3ca55eb6608ee34fe8c2e9 2072 coq-stdpp_1.10.0-1build1.dsc
 32b5a3b46a95f9f49d37839d78496511afcb9c01 2700 coq-stdpp_1.10.0-1build1.debian.tar.xz
 a4ccd8ca76d0978c1f0901b551457752c6f2918c 7828 coq-stdpp_1.10.0-1build1_source.buildinfo
Checksums-Sha256:
 ae3e83a1949ca297fcbfa2392aa0b6fe55aec4118fbb8e0770ecd073ee2ae243 2072 coq-stdpp_1.10.0-1build1.dsc
 9a47a49a10b7978a88327ad2069757eefdc2ecc8f2efc02a064cf88e5c6ea28e 2700 coq-stdpp_1.10.0-1build1.debian.tar.xz
 e74c6c53e3d8dbb817b5db46083864e6a2bb0aa76611bade43d8c869a6419f78 7828 coq-stdpp_1.10.0-1build1_source.buildinfo
Files:
 5fadfa1fa46cdc116929843afe3e7741 2072 ocaml optional coq-stdpp_1.10.0-1build1.dsc
 1a5bf90fe4417c184fa3958c9307e734 2700 ocaml optional coq-stdpp_1.10.0-1build1.debian.tar.xz
 10838e039363e9d892849ac689f8bad0 7828 ocaml optional coq-stdpp_1.10.0-1build1_source.buildinfo