[ubuntu/oracular-proposed] coq-hierarchy-builder 1.7.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.7.0-1build2) oracular; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Tue, 21 May 2024 07:19:18 +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.7.0-1build2
-------------- next part --------------
Format: 1.8
Date: Tue, 21 May 2024 07:19:18 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1build2
Distribution: oracular
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.7.0-1build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 807e7783b4fb291eb22185c5ea9ef4d079145109 2150 coq-hierarchy-builder_1.7.0-1build2.dsc
 c4533563e25a6648517367c884849816e37a6b0d 2848 coq-hierarchy-builder_1.7.0-1build2.debian.tar.xz
 425116706f899bd7ba98459d52f2642afe68c8b1 7898 coq-hierarchy-builder_1.7.0-1build2_source.buildinfo
Checksums-Sha256:
 454d8946f0a75e99abd1d87afee76eca3a3ca874ca786ff01e3c69d300130a65 2150 coq-hierarchy-builder_1.7.0-1build2.dsc
 168b1031a459be36eecf2b03cd3d5bf4241d48ea0e39f27d315938ec2644c149 2848 coq-hierarchy-builder_1.7.0-1build2.debian.tar.xz
 77832f9b0bf8d6a990a24aa9e54ccb9f72406dc076e7cf94fc34e811afbf0d61 7898 coq-hierarchy-builder_1.7.0-1build2_source.buildinfo
Files:
 63b115b78192e71c3696d51494e91bdf 2150 ocaml optional coq-hierarchy-builder_1.7.0-1build2.dsc
 c2d0c954ada35e15fd14f69099f9e84a 2848 ocaml optional coq-hierarchy-builder_1.7.0-1build2.debian.tar.xz
 298bd7a13d253b23bff9660a4814bb4a 7898 ocaml optional coq-hierarchy-builder_1.7.0-1build2_source.buildinfo