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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:12:27 +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-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:12:27 +0200
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1build1
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-1build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 c5f64afa0cc7a1691796ee386847eea2bcb76f2e 2150 coq-hierarchy-builder_1.7.0-1build1.dsc
 3a10cd6516a05bbb580e5e0589efd6e5eaac6039 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz
 9bd93b9c70344a0e3d085c75c1170677b7754dc7 7898 coq-hierarchy-builder_1.7.0-1build1_source.buildinfo
Checksums-Sha256:
 01ba651618f53f0ad091e7587cb05dbc10ce9adb0757056bd4a01c282d60d7db 2150 coq-hierarchy-builder_1.7.0-1build1.dsc
 63b70be384cc5ec54049c3deb0142babd2f240f0a30a1df58995e23b07c29610 2836 coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz
 1f0893ffe1289d86302fc5dbdebcb8274188deca279351a1001b76f4d759fcf8 7898 coq-hierarchy-builder_1.7.0-1build1_source.buildinfo
Files:
 7a70b263824a86de829724686d123e22 2150 ocaml optional coq-hierarchy-builder_1.7.0-1build1.dsc
 802096444f942965ca03ae2985d097d0 2836 ocaml optional coq-hierarchy-builder_1.7.0-1build1.debian.tar.xz
 45c9113c5ad3a4e78c9ddb3651390784 7898 ocaml optional coq-hierarchy-builder_1.7.0-1build1_source.buildinfo