[ubuntu/oracular-proposed] coq-hammer 1.3.2+8.19-2build3 (Accepted)

[Matthias Klose]

coq-hammer (1.3.2+8.19-2build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:35:12 +0200
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.19-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:35:12 +0200
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.19-2build3
Distribution: oracular
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.19-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 97da7881430adb72295cbb24f39bb73035a31f8a 2111 coq-hammer_1.3.2+8.19-2build3.dsc
 14e8ba7ea74ddbd8ee00be13bd087957779e64e9 2864 coq-hammer_1.3.2+8.19-2build3.debian.tar.xz
 419f02024d35c692b939823a40e81ebafb6292a7 5716 coq-hammer_1.3.2+8.19-2build3_source.buildinfo
Checksums-Sha256:
 2834919ab16aa53263321d36aad356c56f33348324bf4e579d21feaf5cc47201 2111 coq-hammer_1.3.2+8.19-2build3.dsc
 cb369fd4f9ac01a7fbdcbee98f38d587e62416b2795f4a870fd7355f49b06b44 2864 coq-hammer_1.3.2+8.19-2build3.debian.tar.xz
 f7eaab624409305e8a65cba0574e1ee3d47595982dbd312181a1a90dcc8be598 5716 coq-hammer_1.3.2+8.19-2build3_source.buildinfo
Files:
 fdd596b8e4d4ec6be71f1b19c519fbf0 2111 ocaml optional coq-hammer_1.3.2+8.19-2build3.dsc
 8599f9b5643175f5514106b7a75a183a 2864 ocaml optional coq-hammer_1.3.2+8.19-2build3.debian.tar.xz
 f55c61b7d24e4e0f6e4c27c1f8d01c74 5716 ocaml optional coq-hammer_1.3.2+8.19-2build3_source.buildinfo