[ubuntu/noble-proposed] coq-hammer 1.3.2+8.17-1build3 (Accepted)

[Gianfranco Costamagna]

coq-hammer (1.3.2+8.17-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:19 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-hammer/1.3.2+8.17-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:19 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.17-1build3
Distribution: noble
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-hammer (1.3.2+8.17-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7059f5e88d29b5951f1acb8854fe9bcd89236e56 2111 coq-hammer_1.3.2+8.17-1build3.dsc
 0b92bc0872cfcb3185a98ef9a3c4351f2360cb02 2648 coq-hammer_1.3.2+8.17-1build3.debian.tar.xz
 c1d3f9a8c0c64ce6a5878bf5e7e78f30b0d08000 7828 coq-hammer_1.3.2+8.17-1build3_source.buildinfo
Checksums-Sha256:
 1c0afe65dc228a8eef5245d659ce96854802fdde29e34754b4d021a6981f6d63 2111 coq-hammer_1.3.2+8.17-1build3.dsc
 32b72f1bcfdc4d95f5a15c61131b9c53ee02b352be7a611f16802d6db1bafd91 2648 coq-hammer_1.3.2+8.17-1build3.debian.tar.xz
 c9e85f58aa57b4fd6d16d4bc889381c138b71e74ce36305bc3eb36e6ffeae48e 7828 coq-hammer_1.3.2+8.17-1build3_source.buildinfo
Files:
 02c33e0736a249cad7a52fb59c7cf94f 2111 ocaml optional coq-hammer_1.3.2+8.17-1build3.dsc
 3d63bd907c29b2bdffb4cc18c1575068 2648 ocaml optional coq-hammer_1.3.2+8.17-1build3.debian.tar.xz
 7d6e45f79317b56b8422dfa98ae45be2 7828 ocaml optional coq-hammer_1.3.2+8.17-1build3_source.buildinfo