[ubuntu/noble-proposed] coq-mtac2 1.4+8.18-1build1 (Accepted)

[Steve Langasek]

coq-mtac2 (1.4+8.18-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:14:28 +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-mtac2/1.4+8.18-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:14:28 +0000
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+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-mtac2 (1.4+8.18-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 8dac72c175c6083875644a49ba6b1cb8880c2a92 2215 coq-mtac2_1.4+8.18-1build1.dsc
 96723d4e87fe7dbb202321b7b4dda357d9601702 2868 coq-mtac2_1.4+8.18-1build1.debian.tar.xz
 48e013edfa644fcaa077f7f7a18b86c3648306c8 6722 coq-mtac2_1.4+8.18-1build1_source.buildinfo
Checksums-Sha256:
 82c2700380c69d8e1e2f4c8b620c73f4a03b547559b050c1eeadcae2e5792bf7 2215 coq-mtac2_1.4+8.18-1build1.dsc
 8672015bc803d8e92b0880112631cead2c26aebd8cddefef6880a13ef9efe868 2868 coq-mtac2_1.4+8.18-1build1.debian.tar.xz
 5348c32867c3fdd7af94012e7e7b9cf339910b57858b61503b65cbce829d26a5 6722 coq-mtac2_1.4+8.18-1build1_source.buildinfo
Files:
 fc351af32ca7d40f4e63fc026e5b9716 2215 ocaml optional coq-mtac2_1.4+8.18-1build1.dsc
 1be1f86b93e30caa5d110d3aba66dc9f 2868 ocaml optional coq-mtac2_1.4+8.18-1build1.debian.tar.xz
 2ca927ac95d96d3de790b3d1a908a0c8 6722 ocaml optional coq-mtac2_1.4+8.18-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>