[ubuntu/resolute-proposed] coq-hierarchy-builder 1.8.1-1build14 (Accepted)

[Sebastien Bacher]

coq-hierarchy-builder (1.8.1-1build14) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:21 +0100
Changed-By: Sebastien Bacher <seb128 at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Signed-By: Sebastien Bacher <sebastien.bacher at canonical.com>
https://launchpad.net/ubuntu/+source/coq-hierarchy-builder/1.8.1-1build14
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:21 +0100
Source: coq-hierarchy-builder
Built-For-Profiles: noudeb
Architecture: source
Version: 1.8.1-1build14
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Changes:
 coq-hierarchy-builder (1.8.1-1build14) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 1e5d3fc361c1d8fd01e3392c05139fb27e8718d7 2154 coq-hierarchy-builder_1.8.1-1build14.dsc
 e5f3f85f7601ae1143c5f6ebd0ff1059e897108c 3200 coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz
 336164a165edd311d33abf7270d61201647bde4a 8306 coq-hierarchy-builder_1.8.1-1build14_source.buildinfo
Checksums-Sha256:
 c82d6df4e28dfae645a333b31a4a174e4abb528e427c490332a0f07af016ff06 2154 coq-hierarchy-builder_1.8.1-1build14.dsc
 fbd942ec44750e30ed9be38b2a34c26b2f016e73398aa7782e02597e9f63abc3 3200 coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz
 6ee14e7ce17a3920441123df58f93b920bf04fbee6c64c5a493885d923fb2de7 8306 coq-hierarchy-builder_1.8.1-1build14_source.buildinfo
Files:
 e6b1138fe755134ef3313e5e3dc5b5c4 2154 ocaml optional coq-hierarchy-builder_1.8.1-1build14.dsc
 f78348d279d689329ddae07253d96f8f 3200 ocaml optional coq-hierarchy-builder_1.8.1-1build14.debian.tar.xz
 bab58b4f6c42b35cd58226900012d5c5 8306 ocaml optional coq-hierarchy-builder_1.8.1-1build14_source.buildinfo