[ubuntu/noble-proposed] aac-tactics 8.18.0-1build1 (Accepted)

[Steve Langasek]

aac-tactics (8.18.0-1build1) noble; urgency=medium

  * No-change rebuild for new libcoq-stdlib ABI

Date: Sun, 24 Mar 2024 00:12:10 +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/aac-tactics/8.18.0-1build1
-------------- next part --------------
Format: 1.8
Date: Sun, 24 Mar 2024 00:12:10 +0000
Source: aac-tactics
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:
 aac-tactics (8.18.0-1build1) noble; urgency=medium
 .
   * No-change rebuild for new libcoq-stdlib ABI
Checksums-Sha1:
 99cdda7f1ca5fc389b98f5ffa24ad83c0ec96503 2219 aac-tactics_8.18.0-1build1.dsc
 7639f66f19de55a76c881dc21006b0c920522115 3820 aac-tactics_8.18.0-1build1.debian.tar.xz
 e91077fa422cf6a1021af63cc4d28278ec480f3c 6722 aac-tactics_8.18.0-1build1_source.buildinfo
Checksums-Sha256:
 9aeb3e4468689fae701b6ae4924c602d5b261502475631f438e6b4a13ee8ba1e 2219 aac-tactics_8.18.0-1build1.dsc
 49fd83418ecd49477a58a04f0f2f6a0de52d6d3844171b168662dac8bebcd1c4 3820 aac-tactics_8.18.0-1build1.debian.tar.xz
 9a07bfd6e6a7937dd9c93f61b77d6f4d116e78892612b2ee0ab73215579630fc 6722 aac-tactics_8.18.0-1build1_source.buildinfo
Files:
 7d6c2eb87bf8177a84921965b6c905d0 2219 math optional aac-tactics_8.18.0-1build1.dsc
 3c2b99e00d2f87841894642fafcaf3c7 3820 math optional aac-tactics_8.18.0-1build1.debian.tar.xz
 dffa5d923769c07eaaa4da907c7855cb 6722 math optional aac-tactics_8.18.0-1build1_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>