[ubuntu/kinetic-proposed] coq-hierarchy-builder 1.2.1-11build1 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.2.1-11build1) kinetic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 21 Jul 2022 18:05:17 +0200
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-hierarchy-builder/1.2.1-11build1
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Jul 2022 18:05:17 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-11build1
Distribution: kinetic
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-hierarchy-builder (1.2.1-11build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 44f68194bb55def36d74a59911ca192fb3fab95f 2232 coq-hierarchy-builder_1.2.1-11build1.dsc
 375ec505f22730313c1e94668118fca3c85923ce 3840 coq-hierarchy-builder_1.2.1-11build1.debian.tar.xz
 fbc9155421b9e410fc29c57f0dc4154f10106c29 7409 coq-hierarchy-builder_1.2.1-11build1_source.buildinfo
Checksums-Sha256:
 96a8342818ba0c678c7aba13418088671d40a5a06e06ef64f632e581873da901 2232 coq-hierarchy-builder_1.2.1-11build1.dsc
 04be821331a03738746c21489420f9b2c5fd370e24094d43f96ddcfb53e5d762 3840 coq-hierarchy-builder_1.2.1-11build1.debian.tar.xz
 38928a0b6ca562f489d36d610514e4e234c47d88ac33c8920fb9e3d3b6e1479d 7409 coq-hierarchy-builder_1.2.1-11build1_source.buildinfo
Files:
 39e5a054d3b5eca8b44881f1e6cf1e67 2232 ocaml optional coq-hierarchy-builder_1.2.1-11build1.dsc
 f9466aaf18dd943ace07b1a6c1ac1a92 3840 ocaml optional coq-hierarchy-builder_1.2.1-11build1.debian.tar.xz
 6c777e1d71fed9434ae0e0fd295a15c8 7409 ocaml optional coq-hierarchy-builder_1.2.1-11build1_source.buildinfo