[ubuntu/questing-proposed] coq-hammer 1.3.2+8.20-1build4 (Accepted)

[Gianfranco Costamagna]

coq-hammer (1.3.2+8.20-1build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:27:41 +0200
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-1build4
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:27:41 +0200
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.20-1build4
Distribution: questing
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-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1d7517cb615f89cd2952711933130f8ce10507f6 2111 coq-hammer_1.3.2+8.20-1build4.dsc
 317c771b950149e1a3b497a16c4334790f0a3a0e 2940 coq-hammer_1.3.2+8.20-1build4.debian.tar.xz
 55b26e7b9d38b1ce41db4ae83421f3642527e45a 6882 coq-hammer_1.3.2+8.20-1build4_source.buildinfo
Checksums-Sha256:
 a929deb2b174e8f7bd3c35c386a70c9461f723b207e69a0c2966daff73a9e953 2111 coq-hammer_1.3.2+8.20-1build4.dsc
 8f5caab7e3ed4912a03e775339643414c654b009c48d6409664698c19f693c86 2940 coq-hammer_1.3.2+8.20-1build4.debian.tar.xz
 a645900601f32b4a70dd96cf65556e7da01e6ed0396683884fe9b7f2e997f7bc 6882 coq-hammer_1.3.2+8.20-1build4_source.buildinfo
Files:
 8930eccc0295e8cbb205ce9efae9ab03 2111 ocaml optional coq-hammer_1.3.2+8.20-1build4.dsc
 d9aee13c729bb7f14c9cf722cfd2fb73 2940 ocaml optional coq-hammer_1.3.2+8.20-1build4.debian.tar.xz
 10a80b6cf1d5af2660383622f2c847d2 6882 ocaml optional coq-hammer_1.3.2+8.20-1build4_source.buildinfo