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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:17:36 -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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:17:36 -0500
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.0-1build2
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-1build2) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 7ffe046f3a7057a9d44912826ce61e6091632ddf 2075 coq-stdpp_1.11.0-1build2.dsc
 2c55cfd67de667a8d016aa38e7793571ada58e50 2864 coq-stdpp_1.11.0-1build2.debian.tar.xz
 473662f9cd568e13fa131ec0eaff0e660375bfff 7054 coq-stdpp_1.11.0-1build2_source.buildinfo
Checksums-Sha256:
 0c7f8093eb8afdad2317945ce345fe020a7b1508365fdc528acb661b7f85bf49 2075 coq-stdpp_1.11.0-1build2.dsc
 1121f9dd20c86c22075e45be07a06198f1c6e7e96ef2845ec2f66a98dd0fd676 2864 coq-stdpp_1.11.0-1build2.debian.tar.xz
 730eef889616c7c52a882868fc8d4810b9ccf35836f2f4038d2951a5d1503b80 7054 coq-stdpp_1.11.0-1build2_source.buildinfo
Files:
 0e4e6eafb19969664c2afb8ce3840366 2075 ocaml optional coq-stdpp_1.11.0-1build2.dsc
 bebbcd8f28cf1ea9349f159a61ca027f 2864 ocaml optional coq-stdpp_1.11.0-1build2.debian.tar.xz
 7bc80543748621bd294879b9ef52d197 7054 ocaml optional coq-stdpp_1.11.0-1build2_source.buildinfo