[ubuntu/plucky-proposed] aac-tactics 8.20.0-1build3 (Accepted)

[Matthias Klose]

aac-tactics (8.20.0-1build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:05 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/aac-tactics/8.20.0-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:05 +0100
Source: aac-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 aac-tactics (8.20.0-1build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 4e83df6cc5d7d48cb0f30a0b03a2ef47f06a6aba 2103 aac-tactics_8.20.0-1build3.dsc
 5f7da8c5b15c6e096549bea2aeb756a47cf95652 3944 aac-tactics_8.20.0-1build3.debian.tar.xz
 1b82d20296145c1ece1038b18f926f8a693bccde 3835 aac-tactics_8.20.0-1build3_source.buildinfo
Checksums-Sha256:
 cb7f81f72a90bd0ac59d6f13f4510b67c8687972ed9594a1f6c3f71e0753ea0b 2103 aac-tactics_8.20.0-1build3.dsc
 71c2b745b8ff03fb1d8336ce5408ebfcf7a6a35f6e6431ce92e832a712b2c0bf 3944 aac-tactics_8.20.0-1build3.debian.tar.xz
 53436924d8078d6d7c5c789e995d745b581d0d78fe50c5e84ffdff8bcbe82b54 3835 aac-tactics_8.20.0-1build3_source.buildinfo
Files:
 96fbb82ea016e1ab28b95d2c94b8ed2c 2103 math optional aac-tactics_8.20.0-1build3.dsc
 937288ad72f21cdcf4046902ad16fe91 3944 math optional aac-tactics_8.20.0-1build3.debian.tar.xz
 795dabaa222c089b854a3c47dc40776e 3835 math optional aac-tactics_8.20.0-1build3_source.buildinfo