[ubuntu/resolute-proposed] coq-extructures 0.5.0-1build15 (Accepted)

[Sebastien Bacher]

coq-extructures (0.5.0-1build15) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Sun, 08 Mar 2026 16:23:25 +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-extructures/0.5.0-1build15
-------------- next part --------------
Format: 1.8
Date: Sun, 08 Mar 2026 16:23:25 +0100
Source: coq-extructures
Built-For-Profiles: noudeb
Architecture: source
Version: 0.5.0-1build15
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-extructures (0.5.0-1build15) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 1936c54442654418f28014d55c893394f580375b 2169 coq-extructures_0.5.0-1build15.dsc
 3e91450873b0b9fa72b180cf94c718d107fb37f0 2720 coq-extructures_0.5.0-1build15.debian.tar.xz
 146d70d7c74786e237430e8d5bc4d39fd7707902 8262 coq-extructures_0.5.0-1build15_source.buildinfo
Checksums-Sha256:
 91b0d1e95f6ea777dc1501f5dd154e53915d1182fb89725a280378e00c3e2ff8 2169 coq-extructures_0.5.0-1build15.dsc
 753f809e934cf7e3850e3444e393449480550816916cea8d9bd4cc5c5ad86562 2720 coq-extructures_0.5.0-1build15.debian.tar.xz
 78e361515a7f3db8ada860f338d1d50947a2c1a96319c475cda174cf9cc9b029 8262 coq-extructures_0.5.0-1build15_source.buildinfo
Files:
 a50d7ea24bf4ae35891c1f614782299e 2169 ocaml optional coq-extructures_0.5.0-1build15.dsc
 77b361dc4e3707592ea8f8aa08309a03 2720 ocaml optional coq-extructures_0.5.0-1build15.debian.tar.xz
 fdab5496e36e244432e09cc8b5507467 8262 ocaml optional coq-extructures_0.5.0-1build15_source.buildinfo