[ubuntu/resolute-proposed] coq-hammer 1.3.2+8.20-1build5 (Accepted)

[Gianfranco Costamagna]

coq-hammer (1.3.2+8.20-1build5) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:27:38 +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.20-1build5
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:27:38 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.20-1build5
Distribution: resolute
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.20-1build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 38b3a0d876f6726247cd2e08f84d8ee76ef3ec17 2111 coq-hammer_1.3.2+8.20-1build5.dsc
 dbb0f86e59d7112baeb7e4ed4445bbf8a09b7245 2956 coq-hammer_1.3.2+8.20-1build5.debian.tar.xz
 0525b953b02dcad3f9adf484ab373f43b163b483 7875 coq-hammer_1.3.2+8.20-1build5_source.buildinfo
Checksums-Sha256:
 bcf018ab07befc50f3c4ba13497fe76e10ecfa8d280415ada15ec56fd95b3ff6 2111 coq-hammer_1.3.2+8.20-1build5.dsc
 9197e2696082c518059b1a195acddbd18396fdaa9d9ae7302179ad4fbd455018 2956 coq-hammer_1.3.2+8.20-1build5.debian.tar.xz
 379140bd21f77b6d3a313d7da17bc8f6a6a4dcdce67041088e8b424306fd7fac 7875 coq-hammer_1.3.2+8.20-1build5_source.buildinfo
Files:
 6634c5016d6163bd819df2f315055db9 2111 ocaml optional coq-hammer_1.3.2+8.20-1build5.dsc
 8c1d185e8305517495c87050d86c091a 2956 ocaml optional coq-hammer_1.3.2+8.20-1build5.debian.tar.xz
 aa804d48f0f7181762ce584d6d63199c 7875 ocaml optional coq-hammer_1.3.2+8.20-1build5_source.buildinfo