[ubuntu/resolute-proposed] coq-equations 1.3.1-8.20-1build8 (Accepted)

[Sebastien Bacher]

coq-equations (1.3.1-8.20-1build8) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:11 +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-equations/1.3.1-8.20-1build8
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:11 +0100
Source: coq-equations
Built-For-Profiles: noudeb
Architecture: source
Version: 1.3.1-8.20-1build8
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-equations (1.3.1-8.20-1build8) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 5722e33dfa088a704b7fe1cc56cfffba972843f9 2179 coq-equations_1.3.1-8.20-1build8.dsc
 1ee610126d412016513218f6aa37bf419676b6e0 3048 coq-equations_1.3.1-8.20-1build8.debian.tar.xz
 778e048d7ce2bbda513b6a0c13f9ff5512ef2d3c 8270 coq-equations_1.3.1-8.20-1build8_source.buildinfo
Checksums-Sha256:
 f20569108aa4160a668552d0f01bcd6abfc27abfd1dfce1e087d8ba985030b27 2179 coq-equations_1.3.1-8.20-1build8.dsc
 aa3238ef7278d0f00410eec5f406bc71bf8f7d659ad141b256eb269bc2068256 3048 coq-equations_1.3.1-8.20-1build8.debian.tar.xz
 149e0605bedfc66ec61065e30f8534defa11481aba57b58b8143cff4ffcc4dd0 8270 coq-equations_1.3.1-8.20-1build8_source.buildinfo
Files:
 7f35dc0b5e5d8e5996d841e02d80080a 2179 ocaml optional coq-equations_1.3.1-8.20-1build8.dsc
 bf8886ddcb1ec9b322e8d4f63d03f48c 3048 ocaml optional coq-equations_1.3.1-8.20-1build8.debian.tar.xz
 995ab43a95124a169b8fa96fa7dee51c 8270 ocaml optional coq-equations_1.3.1-8.20-1build8_source.buildinfo