[ubuntu/resolute-proposed] coq-stdpp 1.11.0-1build7 (Accepted)

[Gianfranco Costamagna]

coq-stdpp (1.11.0-1build7) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:59 +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.11.0-1build7
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:59 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build7
Distribution: resolute
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-1build7) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 04b27a8633e650a214828f6712026c2828a4f9f9 2075 coq-stdpp_1.11.0-1build7.dsc
 534318cfa76dd84a338c0ed2a91bc12008ad3e81 3028 coq-stdpp_1.11.0-1build7.debian.tar.xz
 24e15d7710e60b45d5f65ef53e96affa98b4cb48 7859 coq-stdpp_1.11.0-1build7_source.buildinfo
Checksums-Sha256:
 baf9597a57b46fc39b0331a065639a6fb6502727289dc307c1bfb0af88156b51 2075 coq-stdpp_1.11.0-1build7.dsc
 51f7787e97e50fd36537c5e4b567ed0c1628fc5164d9df901198ff14656c03fb 3028 coq-stdpp_1.11.0-1build7.debian.tar.xz
 8c36d73b34d01df4d4d74b3e002d83801ba3f56fdb75568308ce77293960d458 7859 coq-stdpp_1.11.0-1build7_source.buildinfo
Files:
 cd6957d8b8868b2fc139568aa5ae5eb3 2075 ocaml optional coq-stdpp_1.11.0-1build7.dsc
 997b251612c7b190f94cb6d2035c5e8a 3028 ocaml optional coq-stdpp_1.11.0-1build7.debian.tar.xz
 b715439cf3f83ed6bdf737718191bf41 7859 ocaml optional coq-stdpp_1.11.0-1build7_source.buildinfo