[ubuntu/plucky-proposed] coq-hammer 1.3.2+8.20-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hammer (1.3.2+8.20-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:26:58 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:26:58 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.20-1build2
Distribution: plucky
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2ef417efc5793864ae6d1b67ddb3cd85892ecfb6 2111 coq-hammer_1.3.2+8.20-1build2.dsc
 546e5280b9c6bd7c4afe738cb08e3800d2d0f34d 2860 coq-hammer_1.3.2+8.20-1build2.debian.tar.xz
 0f9545ac41339d38a28b5dab2c592f18c6be7603 7319 coq-hammer_1.3.2+8.20-1build2_source.buildinfo
Checksums-Sha256:
 a16cc98d4b3621d26809705d534ab4600d4896ca0e28b78d3d1ba509850526cb 2111 coq-hammer_1.3.2+8.20-1build2.dsc
 edf4514bf7b9d9c10ddb1c166630375147e3f36c2ec439c5659a4c0c6e475714 2860 coq-hammer_1.3.2+8.20-1build2.debian.tar.xz
 b4de3f28fcbf245bb3d14d2de8fe189b5106e6dd425220def088f2b9a23b070e 7319 coq-hammer_1.3.2+8.20-1build2_source.buildinfo
Files:
 5b287fa06c004d39b9dab3bbc17e9864 2111 ocaml optional coq-hammer_1.3.2+8.20-1build2.dsc
 45ca0851c08913669a4d96dd27d7ddeb 2860 ocaml optional coq-hammer_1.3.2+8.20-1build2.debian.tar.xz
 57f93d0cfc824426aea88e2805246447 7319 ocaml optional coq-hammer_1.3.2+8.20-1build2_source.buildinfo