[ubuntu/noble-proposed] coq-stdpp 1.9.0-1build3 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.9.0-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:15:15 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-stdpp/1.9.0-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:15:15 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-stdpp (1.9.0-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 b0ed5f9cf83c5378f94a629de5803c0fc5cde554 2144 coq-stdpp_1.9.0-1build3.dsc
 12dadb66485c8a14786d728836065d1c0a215d06 2792 coq-stdpp_1.9.0-1build3.debian.tar.xz
 2965f98f021aa1358702ea920a988a8756c23b3f 7824 coq-stdpp_1.9.0-1build3_source.buildinfo
Checksums-Sha256:
 d700ce63c7e9ab82bff0ce785851996f65bdc05852896d8c5b39afb7c0285578 2144 coq-stdpp_1.9.0-1build3.dsc
 8a6da1e56aa03a9b6547a81c6bd7cc121477d6ab6386c36c471448c09cc7e68c 2792 coq-stdpp_1.9.0-1build3.debian.tar.xz
 48e21ed32168019c23c852bf1731ba899c399d21d540d8001b0454cc8c950e73 7824 coq-stdpp_1.9.0-1build3_source.buildinfo
Files:
 06f96984ba6200ffe31059fd9fd7adb6 2144 ocaml optional coq-stdpp_1.9.0-1build3.dsc
 49397f538a87b0587fc75d72522c505a 2792 ocaml optional coq-stdpp_1.9.0-1build3.debian.tar.xz
 a201a7e93f52d4e5de005a77d41c6adf 7824 ocaml optional coq-stdpp_1.9.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>