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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:31:27 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:31:27 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build6
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 649c68b2848a081de8b4fe0abf6cf27b84223c0f 2075 coq-stdpp_1.11.0-1build6.dsc
 d5aa3300d9049f6f37981c01c8c98a394773d766 3012 coq-stdpp_1.11.0-1build6.debian.tar.xz
 d065ab5d94f94b36110743626eb76398845ae86d 7855 coq-stdpp_1.11.0-1build6_source.buildinfo
Checksums-Sha256:
 9672f478451157389afb534cfceaf2024c8765485ceea0391a5cb7313fa24491 2075 coq-stdpp_1.11.0-1build6.dsc
 d0b3d87b8cc16953dc7f666a04f218f92f42ff398166c716be97ac0180c02b91 3012 coq-stdpp_1.11.0-1build6.debian.tar.xz
 7fa46c148d9b6faaf58b55ed81f051bbc953829047964628274fb43b2bd19657 7855 coq-stdpp_1.11.0-1build6_source.buildinfo
Files:
 9dff6fd1b6261f28ac0da55626ceab96 2075 ocaml optional coq-stdpp_1.11.0-1build6.dsc
 c2084c04a4b8625d920dd8959b965c10 3012 ocaml optional coq-stdpp_1.11.0-1build6.debian.tar.xz
 6e9c190382fdc8dd9534e1ff09cbab64 7855 ocaml optional coq-stdpp_1.11.0-1build6_source.buildinfo