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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 01 Jun 2022 17:36:05 +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-9build1
-------------- next part --------------
Format: 1.8
Date: Wed, 01 Jun 2022 17:36:05 +0200
Source: coq-hierarchy-builder
Architecture: source
Version: 1.2.1-9build1
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-9build1) kinetic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 5ed55791e084f2d2d3ed307d2246d8d568ddfda1 2220 coq-hierarchy-builder_1.2.1-9build1.dsc
 0f8b82b9cd1fbc12fb5c4e9227717df04e037dd9 3808 coq-hierarchy-builder_1.2.1-9build1.debian.tar.xz
 533948ac06eaa224538f7faa6e8b9f52c035d102 7412 coq-hierarchy-builder_1.2.1-9build1_source.buildinfo
Checksums-Sha256:
 fcfaaf0857a8c485f9a5328b50913d06b4169334e6af4135d2d86e050c4b1f9b 2220 coq-hierarchy-builder_1.2.1-9build1.dsc
 47e12a01243b2be50422070c54497fdc1a650f2cba3c851b28dad3fadaf533e1 3808 coq-hierarchy-builder_1.2.1-9build1.debian.tar.xz
 671df70ce899721f6d986dc494450a0c2f8b4e7fc654b28c227592da6cec3ea7 7412 coq-hierarchy-builder_1.2.1-9build1_source.buildinfo
Files:
 b64cf07234c027fe15b8cce4b98e9504 2220 ocaml optional coq-hierarchy-builder_1.2.1-9build1.dsc
 1756f47c4fb460e698517c3f86814e54 3808 ocaml optional coq-hierarchy-builder_1.2.1-9build1.debian.tar.xz
 9d2613bf919f7861094ecdf94cc77ef1 7412 ocaml optional coq-hierarchy-builder_1.2.1-9build1_source.buildinfo