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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 03 Jun 2024 23:42:24 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 03 Jun 2024 23:42:24 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1build3
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-1build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 431febfaa2604fa31af1c46dbc7ee290a75470ef 2150 coq-hierarchy-builder_1.7.0-1build3.dsc
 68ee13bf88a826eb4ffacd1b7b3888c6565dc730 2860 coq-hierarchy-builder_1.7.0-1build3.debian.tar.xz
 61baabb3e6f30d721308795d2d70fbc7508c8fd2 7898 coq-hierarchy-builder_1.7.0-1build3_source.buildinfo
Checksums-Sha256:
 e34f5f532c845850ca45f8a920f7f31559763f78849426a325dbd15b457ced58 2150 coq-hierarchy-builder_1.7.0-1build3.dsc
 590c413fc94b7a0bcbec0d7376f60b867ca69e2353ce9fa359c07d9d536aae5a 2860 coq-hierarchy-builder_1.7.0-1build3.debian.tar.xz
 34aa29144dd45ab4ead5ef7de945de2af684052a485c7e34cd1531e638fb62e2 7898 coq-hierarchy-builder_1.7.0-1build3_source.buildinfo
Files:
 82e8e4967fbb53eaeb6d13f92b2571e3 2150 ocaml optional coq-hierarchy-builder_1.7.0-1build3.dsc
 d300509efd352b6a364a39cc060e1d61 2860 ocaml optional coq-hierarchy-builder_1.7.0-1build3.debian.tar.xz
 e65d9284387c3141be3765c57cb9e8d6 7898 ocaml optional coq-hierarchy-builder_1.7.0-1build3_source.buildinfo