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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 21:31:50 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-stdpp/1.11.0-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 21:31:50 -0500
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build1
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-stdpp (1.11.0-1build1) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 17da4809e8e8e45ca0e8cea76b20fffdec92b578 2075 coq-stdpp_1.11.0-1build1.dsc
 a55890bd30208ded50b35b500bdca26e2023cf5c 2844 coq-stdpp_1.11.0-1build1.debian.tar.xz
 2a4c8c236c4afe2285a417d81e29647e96a0f547 6965 coq-stdpp_1.11.0-1build1_source.buildinfo
Checksums-Sha256:
 edc260c099e5bc34722cc7a018c4fe18ecffd446875ea7d2cc7ed340d4015e15 2075 coq-stdpp_1.11.0-1build1.dsc
 66312a2f0fa9e65981ad16cc794c05a16fdf5c0103e924a65270f9fea65a5757 2844 coq-stdpp_1.11.0-1build1.debian.tar.xz
 522567af569638b3ac84b1ec08a6ac25013754462315a347254c160832c12299 6965 coq-stdpp_1.11.0-1build1_source.buildinfo
Files:
 c0920eba8cc76ad9d755de04aedf16c5 2075 ocaml optional coq-stdpp_1.11.0-1build1.dsc
 6800f6656a36b691ab97566b83f797e7 2844 ocaml optional coq-stdpp_1.11.0-1build1.debian.tar.xz
 ee591c73905280bfd131c84c7dbf5897 6965 ocaml optional coq-stdpp_1.11.0-1build1_source.buildinfo