[ubuntu/plucky-proposed] coq-hammer 1.3.2+8.20-1build3 (Accepted)

[Matthias Klose]

coq-hammer (1.3.2+8.20-1build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:23 +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/coq-hammer/1.3.2+8.20-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:23 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.20-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:
 coq-hammer (1.3.2+8.20-1build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 d56d151262dfd30a7d5f30ae84f13a9de33a1420 2111 coq-hammer_1.3.2+8.20-1build3.dsc
 a92f79bec06446c4624718da6d1d193c75de6b54 2908 coq-hammer_1.3.2+8.20-1build3.debian.tar.xz
 55b0c6a4bfe870b3db60af1842a686590d052da2 3847 coq-hammer_1.3.2+8.20-1build3_source.buildinfo
Checksums-Sha256:
 4ff7696709efa5ea94f69344bfa653e91fc272c46a9c5fa3cc9a3805e07d227c 2111 coq-hammer_1.3.2+8.20-1build3.dsc
 b1d9693a9656c82755bd61ee4d9939956cf2b5f1f83aee6ca5a0842e1b6fcca8 2908 coq-hammer_1.3.2+8.20-1build3.debian.tar.xz
 011c82e433741b9376ea4a6856c35d12a7ff875e7fc2f468db9446c0bd11ad3d 3847 coq-hammer_1.3.2+8.20-1build3_source.buildinfo
Files:
 138a6bbc55c8c9434d77ca3a6d6778de 2111 ocaml optional coq-hammer_1.3.2+8.20-1build3.dsc
 dfa6bc82b9668e673e1ab7226e0f4c78 2908 ocaml optional coq-hammer_1.3.2+8.20-1build3.debian.tar.xz
 bfc8c24fa09eaa509fdb59eead12e987 3847 ocaml optional coq-hammer_1.3.2+8.20-1build3_source.buildinfo