[ubuntu/noble-proposed] coq-record-update 0.3.3-1build2 (Accepted)

[Steve Langasek]

coq-record-update (0.3.3-1build2) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:14:45 +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-record-update/0.3.3-1build2
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:14:45 +0000
Source: coq-record-update
Built-For-Profiles: noudeb
Architecture: source
Version: 0.3.3-1build2
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-record-update (0.3.3-1build2) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 b34fc7f5cb4ab0ac61f822b37560a087125faec8 2263 coq-record-update_0.3.3-1build2.dsc
 2befe9e7623011d35720b77fb219c45bb44b0627 2136 coq-record-update_0.3.3-1build2.debian.tar.xz
 9ce4013855ec39ef2759d440a35dd33e80e518c9 6742 coq-record-update_0.3.3-1build2_source.buildinfo
Checksums-Sha256:
 3bf90a473b34759eb528fb905eb5ea7d990f3c3bb67e4f5d7f3645b7b2e5a147 2263 coq-record-update_0.3.3-1build2.dsc
 969b121a199a98514e3e333f418ebd652173a2a2174a1678cc363a1f768984a5 2136 coq-record-update_0.3.3-1build2.debian.tar.xz
 48bc39eb823e26d44838fa0c989d44e399c20a5c88fe796603cdff6a3d9c074c 6742 coq-record-update_0.3.3-1build2_source.buildinfo
Files:
 1883405ed3ab32fa07774eca2288befb 2263 ocaml optional coq-record-update_0.3.3-1build2.dsc
 9388cd15d47aef2f51bb8f6f4eb6f9e1 2136 ocaml optional coq-record-update_0.3.3-1build2.debian.tar.xz
 2a7be2c98c4b9dddba8d4d79d3850820 6742 ocaml optional coq-record-update_0.3.3-1build2_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>