[ubuntu/plucky-proposed] coq-stdpp 1.11.0-1build4 (Accepted)

[Matthias Klose]

coq-stdpp (1.11.0-1build4) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:30 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-stdpp/1.11.0-1build4
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:30 +0100
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build4
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-stdpp (1.11.0-1build4) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 f02e2ca378820313a770c090d83df8a33747bef0 2075 coq-stdpp_1.11.0-1build4.dsc
 9095f81844b2b84f501297570664f4f4a552999c 2960 coq-stdpp_1.11.0-1build4.debian.tar.xz
 345dd428c559c5d322b60eb8baf59b08b76b3c05 3827 coq-stdpp_1.11.0-1build4_source.buildinfo
Checksums-Sha256:
 1afe1a819f8f62da1f47e17f949269d431e03a8fce765b80b018f5849de97f9e 2075 coq-stdpp_1.11.0-1build4.dsc
 806439f97eb8b3eb58021a6532b92baaa92f232b520ffbd6ded722693b9af0aa 2960 coq-stdpp_1.11.0-1build4.debian.tar.xz
 b9d5bec89c928162129bdc3c04dfe9609c36cd0165610c89cc7f78a7f13ab72b 3827 coq-stdpp_1.11.0-1build4_source.buildinfo
Files:
 ec94a950c4114262a6e4f159778ddedc 2075 ocaml optional coq-stdpp_1.11.0-1build4.dsc
 7f941c29b0cfc958b51258fb7b25a178 2960 ocaml optional coq-stdpp_1.11.0-1build4.debian.tar.xz
 7b93abca0c7422b2da8d7c48a07fea25 3827 ocaml optional coq-stdpp_1.11.0-1build4_source.buildinfo