[ubuntu/noble-proposed] coq-menhirlib 20231231+ds-1build1 (Accepted)

[Steve Langasek]

coq-menhirlib (20231231+ds-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:14:19 +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-menhirlib/20231231+ds-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:14:19 +0000
Source: coq-menhirlib
Built-For-Profiles: noudeb
Architecture: source
Version: 20231231+ds-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-menhirlib (20231231+ds-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 055155641698c321e93f40d187e9ee069f67b919 2260 coq-menhirlib_20231231+ds-1build1.dsc
 ebdc89ea92d44ecb78dc6f61e1634977912a212c 2052 coq-menhirlib_20231231+ds-1build1.debian.tar.xz
 e100eac3d8fb4e901b910aa421a7281519348282 6750 coq-menhirlib_20231231+ds-1build1_source.buildinfo
Checksums-Sha256:
 be460a873c954018ca74c4c09e7398a38be931ad5d4dba30a26a4a7a9b163c24 2260 coq-menhirlib_20231231+ds-1build1.dsc
 1172a532f411bee226ecbcd774fcd89535397b010895217870a5baa996a3bf31 2052 coq-menhirlib_20231231+ds-1build1.debian.tar.xz
 aaae5557cd238708e1b95b975ad4121cb676f7a53fb7a3562ef2cd23d496328c 6750 coq-menhirlib_20231231+ds-1build1_source.buildinfo
Files:
 aa183623fa964b5510f7b76b76d38b17 2260 ocaml optional coq-menhirlib_20231231+ds-1build1.dsc
 b7bca79a1d5b3ec2afe58b2504daa3b2 2052 ocaml optional coq-menhirlib_20231231+ds-1build1.debian.tar.xz
 853d2471f43c8281eee355e9d1276b4e 6750 ocaml optional coq-menhirlib_20231231+ds-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>