[ubuntu/noble-proposed] coq-dpdgraph 1.0+8.18-1build1 (Accepted)

[Steve Langasek]

coq-dpdgraph (1.0+8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:12:51 +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-dpdgraph/1.0+8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:12:51 +0000
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.18-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-dpdgraph (1.0+8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 a930aefaa6ae0ff07b4e6c4377f386251f91c225 2333 coq-dpdgraph_1.0+8.18-1build1.dsc
 1a798e5f3fb8ce8dc2d45f409d2e10eb5ead8cb4 3168 coq-dpdgraph_1.0+8.18-1build1.debian.tar.xz
 c903dde522620c9f7fef969eea4dec67ca519b2e 6734 coq-dpdgraph_1.0+8.18-1build1_source.buildinfo
Checksums-Sha256:
 1cd2c62fb354908bc43140f8212fc321b20747e69693e43712b1a32b53ef08c0 2333 coq-dpdgraph_1.0+8.18-1build1.dsc
 ae467f5a55a26b9d61a26fc896806768c813101129ddb16f3b7ef355f65e72b2 3168 coq-dpdgraph_1.0+8.18-1build1.debian.tar.xz
 5217afc2c5ee9f0692b32fa9aefeeda34c78377f0291016b3c501947a5d8ff42 6734 coq-dpdgraph_1.0+8.18-1build1_source.buildinfo
Files:
 42ee62255a9d62e8a150b42588de24f4 2333 ocaml optional coq-dpdgraph_1.0+8.18-1build1.dsc
 b7299e08814ff9a39a48fedc417f7a5c 3168 ocaml optional coq-dpdgraph_1.0+8.18-1build1.debian.tar.xz
 18eb25133b055f8116b8d5727990abef 6734 ocaml optional coq-dpdgraph_1.0+8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>