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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:11:47 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:11:47 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.16-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 8702bf6e821ae937bb57b12db84bc0dcbbe4d363 2096 coq-hammer_1.3.2+8.16-1build2.dsc
 f083c760c237183d407a84f7a9c5c1231aebac3f 2352 coq-hammer_1.3.2+8.16-1build2.debian.tar.xz
 d47535b5407e6034277260185cdfda19e296f598 7901 coq-hammer_1.3.2+8.16-1build2_source.buildinfo
Checksums-Sha256:
 5b0c909696bfc7d371b7c88e2a65ee35542279318851cbc244287ae2d81db2db 2096 coq-hammer_1.3.2+8.16-1build2.dsc
 59454dcb20b352604e241b48084e563ce81200379a098ec1c57748c5921af6df 2352 coq-hammer_1.3.2+8.16-1build2.debian.tar.xz
 9d9c8ce2e6ba5a8682c615dc25e5254a7914c6edfe3bc1bedfb3aca2193c664d 7901 coq-hammer_1.3.2+8.16-1build2_source.buildinfo
Files:
 3b9ef13d195f96bc28ba0ee1003e1bcc 2096 ocaml optional coq-hammer_1.3.2+8.16-1build2.dsc
 dabbc99de5ad9e38576fea448a7176ce 2352 ocaml optional coq-hammer_1.3.2+8.16-1build2.debian.tar.xz
 1e0edb467ad17b55e1605849e220bf71 7901 ocaml optional coq-hammer_1.3.2+8.16-1build2_source.buildinfo