[ubuntu/noble-proposed] coq-deriving 0.2.0-1build3 (Accepted)

[Steve Langasek]

coq-deriving (0.2.0-1build3) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:12:44 +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-deriving/0.2.0-1build3
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:12:44 +0000
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.0-1build3
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-deriving (0.2.0-1build3) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 c8d8935177e6b327e42aad793f872b7e15db6e62 2228 coq-deriving_0.2.0-1build3.dsc
 f622a43e5727e7ef96b1c028e523a55e3cabc3ac 2340 coq-deriving_0.2.0-1build3.debian.tar.xz
 ba5633e619ba845bf4500c8b9baaf4d379344a65 6722 coq-deriving_0.2.0-1build3_source.buildinfo
Checksums-Sha256:
 6e673783915471ab253eedf5b2fbb11aff31eea0a882427a715cc299d6c02a6b 2228 coq-deriving_0.2.0-1build3.dsc
 ba3b0d959325a751d1e03b2d539e3cbae395b27475e7c8707eaee5dc147d69d1 2340 coq-deriving_0.2.0-1build3.debian.tar.xz
 6adf520f6b5b5af5682a8e1b29e1139df8ecc8d7c78069acb5107d7122847729 6722 coq-deriving_0.2.0-1build3_source.buildinfo
Files:
 58517863bfe9b118f13140566ba34d0c 2228 ocaml optional coq-deriving_0.2.0-1build3.dsc
 43ed7f27e44e59922575f14af6be9150 2340 ocaml optional coq-deriving_0.2.0-1build3.debian.tar.xz
 efd87ace40a85adef1dc68ecdfcda6f7 6722 ocaml optional coq-deriving_0.2.0-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>