[ubuntu/questing-proposed] coq-stdpp 1.11.0-1build5 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.11.0-1build5) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:28:36 +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.11.0-1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:28:36 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build5
Distribution: questing
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-1build5) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 02c7ee58947448a7d4fb6f237d13c8c0a97ecfea 2075 coq-stdpp_1.11.0-1build5.dsc
 8329da00fb340f612052bb36db35cc64c38e132a 2988 coq-stdpp_1.11.0-1build5.debian.tar.xz
 3bea939c6b3a6cd8c921ab3f3ef72f922593b903 6862 coq-stdpp_1.11.0-1build5_source.buildinfo
Checksums-Sha256:
 e1f2758b0fc9b87728409735550eaf316713ea8067d20a180a8c0e874c1e6249 2075 coq-stdpp_1.11.0-1build5.dsc
 157397e358b2b2cb42f788fea0e35f70942b10b6ce57b387957e50ab7df0eb9e 2988 coq-stdpp_1.11.0-1build5.debian.tar.xz
 a1062bf3f14791032eaf71d7aeb9ea829d9a4e5fd891b2edea7e0855c2673db3 6862 coq-stdpp_1.11.0-1build5_source.buildinfo
Files:
 ca47a1ff06407c26ddbcaf74f35eb043 2075 ocaml optional coq-stdpp_1.11.0-1build5.dsc
 1049ddf9bdaa09c7a970bb7fea13469a 2988 ocaml optional coq-stdpp_1.11.0-1build5.debian.tar.xz
 a0615b7e78ff8cce336702f294f5fe04 6862 ocaml optional coq-stdpp_1.11.0-1build5_source.buildinfo