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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 25 Nov 2022 12:01:26 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 12:01:26 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.16-1build1
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-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 35af93aa3a523a485f6f46f9563bf50ba3de0c6b 2096 coq-hammer_1.3.2+8.16-1build1.dsc
 cef2c81eb67a92ab7bd709dd6a815c7027f387ff 2348 coq-hammer_1.3.2+8.16-1build1.debian.tar.xz
 ae49d1ad8f743032b1f75ac48d2c3e69625af081 7901 coq-hammer_1.3.2+8.16-1build1_source.buildinfo
Checksums-Sha256:
 77b16d7e685ba5460b9bdf42666ea72016b61a21ef95beb96358845ac6cb4ad7 2096 coq-hammer_1.3.2+8.16-1build1.dsc
 b762a281c9299fe87341e23a52a136b65963dd217e34a1048ab08bf653f3d44a 2348 coq-hammer_1.3.2+8.16-1build1.debian.tar.xz
 668f005a3336bfc8f1496ac029291f63ae66279fdd2a8b155eda75ff18b7bcdf 7901 coq-hammer_1.3.2+8.16-1build1_source.buildinfo
Files:
 d6831e9b6b2c5dd9ce3d77f72126678c 2096 ocaml optional coq-hammer_1.3.2+8.16-1build1.dsc
 62a3e1df225424ae9faece7fafb8fc17 2348 ocaml optional coq-hammer_1.3.2+8.16-1build1.debian.tar.xz
 38fecaa7ea9b96c682c9e567acc0bce2 7901 ocaml optional coq-hammer_1.3.2+8.16-1build1_source.buildinfo