[ubuntu/noble-proposed] coq-stdpp 1.8.0-4build2 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.8.0-4build2) noble; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Mon, 06 Nov 2023 17:13:02 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Mon, 06 Nov 2023 17:13:02 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.0-4build2
Distribution: noble
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-4build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3cb44b71dae23f487184b51ed6ed86e822d98740 2055 coq-stdpp_1.8.0-4build2.dsc
 fd66c8b31fde5dc3e179697f74a1c77cd455f635 2512 coq-stdpp_1.8.0-4build2.debian.tar.xz
 cb211ef5a281794c97194d3c541123fc81668245 7804 coq-stdpp_1.8.0-4build2_source.buildinfo
Checksums-Sha256:
 db697fb3488205f2457a5a8af6c66992656c76d136ef71d1883dadce17d48698 2055 coq-stdpp_1.8.0-4build2.dsc
 fe774324cd2ad9b4edf1043ad61c06460f801b95bd2b15ac3436d690a4d514ac 2512 coq-stdpp_1.8.0-4build2.debian.tar.xz
 78978807730cb64ef83016901130e2170be4a4db420ddc93fefdd8c92b7bec49 7804 coq-stdpp_1.8.0-4build2_source.buildinfo
Files:
 c584c026a752640510a154aea383b619 2055 ocaml optional coq-stdpp_1.8.0-4build2.dsc
 7e6e307090813fd4de5d6e32fbddb0cf 2512 ocaml optional coq-stdpp_1.8.0-4build2.debian.tar.xz
 d483ec77667765fc7fab952733e3c5b3 7804 ocaml optional coq-stdpp_1.8.0-4build2_source.buildinfo