[ubuntu/noble-proposed] coq-corn 8.18.0-1build1 (Accepted)

[Steve Langasek]

coq-corn (8.18.0-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:12:36 +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-corn/8.18.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:12:36 +0000
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.18.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-corn (8.18.0-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 26e987f50837fa9198ab86c0ce498220093088fb 2207 coq-corn_8.18.0-1build1.dsc
 e5cd012998e4bd7782def2c41a6e9dc1c7bbc8be 4240 coq-corn_8.18.0-1build1.debian.tar.xz
 fa386ce6d4e669f4fa4eeb6f05143347e56534be 6710 coq-corn_8.18.0-1build1_source.buildinfo
Checksums-Sha256:
 f2a7fff20684907c4afe7c467fdf129a7a875e0ca4906949d6b7fe86df3bd99b 2207 coq-corn_8.18.0-1build1.dsc
 ada2a3e532661154ed9d218a6eb5cdfa1ccf75b0627f4921c0127b2767240129 4240 coq-corn_8.18.0-1build1.debian.tar.xz
 ca12a1fa4cc827ae614828a943ae307849db45f18e667412d17e7e1dde2d6719 6710 coq-corn_8.18.0-1build1_source.buildinfo
Files:
 5584319b1eecec1813ae2bf4ffae1bb2 2207 ocaml optional coq-corn_8.18.0-1build1.dsc
 1ec94a4b131576b0612aa7624a43ea17 4240 ocaml optional coq-corn_8.18.0-1build1.debian.tar.xz
 ede6a829642865a70797b2559d44e80c 6710 ocaml optional coq-corn_8.18.0-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>