[ubuntu/lunar-proposed] coq-hammer 1.3.2+8.16-2build2 (Accepted)

[Gianfranco Costamagna]

coq-hammer (1.3.2+8.16-2build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:28:25 +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.16-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:28:25 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.16-2build2
Distribution: lunar
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.16-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 016a952bfad904334011f9abe29f4b5e5e1f5556 2101 coq-hammer_1.3.2+8.16-2build2.dsc
 222add91a0711647ea7c3682d9340d3c17aaf035 2404 coq-hammer_1.3.2+8.16-2build2.debian.tar.xz
 cefee89bdff67b1fe218e57b25086dc81deb390f 7168 coq-hammer_1.3.2+8.16-2build2_source.buildinfo
Checksums-Sha256:
 17c4a7a60db032ba0f877e4cc41e2b131bfdad7e419db13c6cae89c61c6b076a 2101 coq-hammer_1.3.2+8.16-2build2.dsc
 bb9522b56eac12aa508efc915362c84be5fc7e063cc90af0578b96831b11b677 2404 coq-hammer_1.3.2+8.16-2build2.debian.tar.xz
 b850ef032a5ef20d98872c228e13a870894f4ccebeda6988662cf44895803211 7168 coq-hammer_1.3.2+8.16-2build2_source.buildinfo
Files:
 e60e6912c42f11f99f1bb78b4c881af2 2101 ocaml optional coq-hammer_1.3.2+8.16-2build2.dsc
 cbdf85d024e7fb7ebb9f3b94d986d5b5 2404 ocaml optional coq-hammer_1.3.2+8.16-2build2.debian.tar.xz
 1514429e02169fd09b0810563d13568e 7168 ocaml optional coq-hammer_1.3.2+8.16-2build2_source.buildinfo