[ubuntu/noble-proposed] coq-stdpp 1.9.0-1build1 (Accepted)

[Steve Langasek]

coq-stdpp (1.9.0-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:15:25 +0000
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-stdpp/1.9.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:15:25 +0000
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.9.0-1build1
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Steve Langasek <steve.langasek at ubuntu.com>
Changes:
 coq-stdpp (1.9.0-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 0cb250a9ecbc1dc0ae4cd41c61fea03ea8a9cec1 2181 coq-stdpp_1.9.0-1build1.dsc
 d9a31f6446914977c662edd8c7ebbb0d5dd5fae4 2712 coq-stdpp_1.9.0-1build1.debian.tar.xz
 bc9196f02625d67d110c586b7c33bdcda565d893 6710 coq-stdpp_1.9.0-1build1_source.buildinfo
Checksums-Sha256:
 c5376234b4fe7b1797dad18b3b8706b36d4f7cb84aa07799eeff84b1d387ab6f 2181 coq-stdpp_1.9.0-1build1.dsc
 7de5f0d3be587cbe35c580818ea643263e08c775d4980b23b4a4ebc3de032dda 2712 coq-stdpp_1.9.0-1build1.debian.tar.xz
 e86c1c4d4b7e9a4ca23332e94f2f74abfac4d084a014529fe4fabe592f0d1696 6710 coq-stdpp_1.9.0-1build1_source.buildinfo
Files:
 dcf73686e42a7b34a8fc93b21d5fab6d 2181 ocaml optional coq-stdpp_1.9.0-1build1.dsc
 1300b1a88fed186fb8e2ebabde0c0fdc 2712 ocaml optional coq-stdpp_1.9.0-1build1.debian.tar.xz
 186f03705ccce339b732869cf38b2fc3 6710 ocaml optional coq-stdpp_1.9.0-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>