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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:21:05 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:21:05 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-1build2
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-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 8f8f27c3d3fd176a6d85bbb03c1b7c82fcd26e46 2072 coq-stdpp_1.10.0-1build2.dsc
 6fd73cd9986ebea9563a5f7fa839645d2c7903f7 2712 coq-stdpp_1.10.0-1build2.debian.tar.xz
 ac1d945b089341b032f3423e5c543258eb88524f 7828 coq-stdpp_1.10.0-1build2_source.buildinfo
Checksums-Sha256:
 7caa82475f67a0f9d95913d5355cdace6721d3bfa2fca6f9ce3eb8dc91d799e7 2072 coq-stdpp_1.10.0-1build2.dsc
 d3f9c449954e6562eb1d5571bd281f22f5d954dd556c96e439c1fc93b2e6798c 2712 coq-stdpp_1.10.0-1build2.debian.tar.xz
 ec103df665f77fd338979c0a8185d88759cd74c08fdb9f6452807440e83479a6 7828 coq-stdpp_1.10.0-1build2_source.buildinfo
Files:
 8adf5dbf81f62dbff51abe0b8947df13 2072 ocaml optional coq-stdpp_1.10.0-1build2.dsc
 9372b572bccea110a6dcd785a1cee379 2712 ocaml optional coq-stdpp_1.10.0-1build2.debian.tar.xz
 194fea8e9730eceaa66ea74f3e8e3879 7828 ocaml optional coq-stdpp_1.10.0-1build2_source.buildinfo