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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00:23 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:23 +0100
Source: coq-hammer
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.2+8.16-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1d9a617534cd2aa080a235b67d2b701d1af68ce3 2101 coq-hammer_1.3.2+8.16-2build1.dsc
 05451f47583ba643451fc955cd23724fd4a9a484 2388 coq-hammer_1.3.2+8.16-2build1.debian.tar.xz
 4ba1392d9de32de26a4aeb0d0547dd3d3a3b40d0 7124 coq-hammer_1.3.2+8.16-2build1_source.buildinfo
Checksums-Sha256:
 93073518453b51e98821baa072d20925d650a90e79a9ca1ad0b3084b0dbd040f 2101 coq-hammer_1.3.2+8.16-2build1.dsc
 e1e63f525f85d3f6c3a6a9c19fd3c79543c1b3bc0f601b2ce51417e1b0eea9ad 2388 coq-hammer_1.3.2+8.16-2build1.debian.tar.xz
 d350ab66bc6d1f4b4a3ac9011dbbf94ead1cf92873596c02c921fe3cf030ec1c 7124 coq-hammer_1.3.2+8.16-2build1_source.buildinfo
Files:
 427d2de4abc6c1362a899889ba422052 2101 ocaml optional coq-hammer_1.3.2+8.16-2build1.dsc
 bd3b2fc633c8e82e181d2b86f1fab904 2388 ocaml optional coq-hammer_1.3.2+8.16-2build1.debian.tar.xz
 0fb8ed83b3134e830f94228e972d48cc 7124 ocaml optional coq-hammer_1.3.2+8.16-2build1_source.buildinfo