[ubuntu/questing-proposed] coq-hierarchy-builder 1.8.1-1build5 (Accepted)

[Gianfranco Costamagna]

coq-hierarchy-builder (1.8.1-1build5) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:35:42 +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.8.1-1build5
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:35:42 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build5
Distribution: questing
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.8.1-1build5) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fecee2fed02fc09fab49529d6dd1f8b0adc526c2 2150 coq-hierarchy-builder_1.8.1-1build5.dsc
 97a174d6dd4cd40202bc0995982bb11ecb7f8adb 3044 coq-hierarchy-builder_1.8.1-1build5.debian.tar.xz
 6ac415810dac5901de8654a144e6813632165d8f 6932 coq-hierarchy-builder_1.8.1-1build5_source.buildinfo
Checksums-Sha256:
 ad992638936baf660695da3820512ab5090f7c2bb42f96a2ffaf3acdbfa883fd 2150 coq-hierarchy-builder_1.8.1-1build5.dsc
 8f1298b58e641086ac15f775a3fd32123b7d35f4bc1cc4cbe6ebe05cb05b1976 3044 coq-hierarchy-builder_1.8.1-1build5.debian.tar.xz
 c87d865b11afceadbb25c7744cdb6c5a971f00ff087f645e42232ad70a4f5e57 6932 coq-hierarchy-builder_1.8.1-1build5_source.buildinfo
Files:
 be7561833b69c8e3cfb2057d4318247d 2150 ocaml optional coq-hierarchy-builder_1.8.1-1build5.dsc
 dc586f07e9a3e27db9427e20862bb5ab 3044 ocaml optional coq-hierarchy-builder_1.8.1-1build5.debian.tar.xz
 f7bae8b2d251e2b901da5fdfb788eebf 6932 ocaml optional coq-hierarchy-builder_1.8.1-1build5_source.buildinfo