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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:01 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:01 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.20-1build6
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 de2b7c05a77f51988cd43807cf31552e0f71ef18 2111 coq-hammer_1.3.2+8.20-1build6.dsc
 2d5608cc7416f400528a5d7f392a44e5c2d77cfa 3000 coq-hammer_1.3.2+8.20-1build6.debian.tar.xz
 e7dbc2db91665461eb1fa1e5fe0601e222263125 7879 coq-hammer_1.3.2+8.20-1build6_source.buildinfo
Checksums-Sha256:
 f91e2df086cb51fffca0627f003fc444b414ebf75df751d89ee3dac5b3089a79 2111 coq-hammer_1.3.2+8.20-1build6.dsc
 da5314f8701ebcd86f21f3847e3c32cf04fe75d6439ef92855a7996aba96c228 3000 coq-hammer_1.3.2+8.20-1build6.debian.tar.xz
 27c73deafe6317c0810ed801dee06fe5d900b1c0ed7d7bc37497b61eb6f4d6d8 7879 coq-hammer_1.3.2+8.20-1build6_source.buildinfo
Files:
 580aff141974f35aaa6b15f34cdcc74a 2111 ocaml optional coq-hammer_1.3.2+8.20-1build6.dsc
 8793dcb6e43fc1b48502de77a16948e8 3000 ocaml optional coq-hammer_1.3.2+8.20-1build6.debian.tar.xz
 97a750aff654a1597be15d5f44dd8a3a 7879 ocaml optional coq-hammer_1.3.2+8.20-1build6_source.buildinfo