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

[Sebastien Bacher]

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

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:39 +0100
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-stdpp/1.11.0-1build8
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:39 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build8
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-stdpp (1.11.0-1build8) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 e1992ff2ddebbad1ab0d7a348561eb89e7b03ea1 2075 coq-stdpp_1.11.0-1build8.dsc
 a7b16f91752e38b454d7b96f172239c82fadbf00 3072 coq-stdpp_1.11.0-1build8.debian.tar.xz
 b0673a89d45b80073755df56f4636d9d46a6d75a 8238 coq-stdpp_1.11.0-1build8_source.buildinfo
Checksums-Sha256:
 5042b4cd4fb2956b49da46a6c89b11b7c6f28acf0f619462405cd9b1dc3db7d9 2075 coq-stdpp_1.11.0-1build8.dsc
 d5e08ebb44f672b434f8a9fb0703c887bf1740d54587f374218cc2b7098e135f 3072 coq-stdpp_1.11.0-1build8.debian.tar.xz
 3af3b82da74d81403b60063de2c1fbf069be1ef50815f23b8f02ad9080222085 8238 coq-stdpp_1.11.0-1build8_source.buildinfo
Files:
 2696ef0863b4c4f749067078408567c9 2075 ocaml optional coq-stdpp_1.11.0-1build8.dsc
 b9679e18530bc832e6f8cd4d211c703f 3072 ocaml optional coq-stdpp_1.11.0-1build8.debian.tar.xz
 67f58fd44a450a8de1eaef25611e5564 8238 ocaml optional coq-stdpp_1.11.0-1build8_source.buildinfo