[ubuntu/resolute-proposed] coq-gappa 1.7.0-1build4 (Accepted)

[Sebastien Bacher]

coq-gappa (1.7.0-1build4) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:18 +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-gappa/1.7.0-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:18 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1build4
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-gappa (1.7.0-1build4) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 ec9f67daa4bf5ee7dc7aa5fe31b57942cc29d04c 2082 coq-gappa_1.7.0-1build4.dsc
 b8d1650d66de9ee561e70eaf23ce1fcdb7b8defb 2372 coq-gappa_1.7.0-1build4.debian.tar.xz
 133c935fcbc02983d82d45a5b93d9c835e010ffc 8234 coq-gappa_1.7.0-1build4_source.buildinfo
Checksums-Sha256:
 363607cb221095a01b4fee7d40cb48aedbc8012f0db2a3d55df5d16a200f3ce7 2082 coq-gappa_1.7.0-1build4.dsc
 f62a6b4b6f8ad7c542562db0f3b6a0902be6467f400a3667c263afd8741a7155 2372 coq-gappa_1.7.0-1build4.debian.tar.xz
 baba4dd306774720fcbedc2525c02008cf880863421bd6d018478408c5a35c35 8234 coq-gappa_1.7.0-1build4_source.buildinfo
Files:
 699107cc9e718d58aecadcce5ac49f4b 2082 math optional coq-gappa_1.7.0-1build4.dsc
 26733f41883d75d2631bfd24e744a97a 2372 math optional coq-gappa_1.7.0-1build4.debian.tar.xz
 887443ba14a67a9a37e5818a040ba432 8234 math optional coq-gappa_1.7.0-1build4_source.buildinfo