[ubuntu/resolute-proposed] coq-quickchick 2.1.0-1.1build5 (Accepted)

[Sebastien Bacher]

coq-quickchick (2.1.0-1.1build5) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Fri, 06 Mar 2026 11:51:57 +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-quickchick/2.1.0-1.1build5
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Mar 2026 11:51:57 +0100
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1.1build5
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-quickchick (2.1.0-1.1build5) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 28d9571e8ec30fe3c8ea0e13eb6c16f7dde27cd2 2282 coq-quickchick_2.1.0-1.1build5.dsc
 bad30761794e87b40bf6ea52188108c00c86f6ff 3216 coq-quickchick_2.1.0-1.1build5.debian.tar.xz
 91287d7d1bcb1252dc50af8c420cacce25845290 8326 coq-quickchick_2.1.0-1.1build5_source.buildinfo
Checksums-Sha256:
 8796c6cb315e570250ef49555f0afa5fcb0da240823aea102a8463f12b060a8c 2282 coq-quickchick_2.1.0-1.1build5.dsc
 b79ba638ed58cf525f17ef1b04760ed3e486e16fb2b951d3963a0429ba8f8791 3216 coq-quickchick_2.1.0-1.1build5.debian.tar.xz
 0b9ff5f4c62b70ec5e1ce71cc125c41e03e7b2a6866c5391e6f37872f51025d3 8326 coq-quickchick_2.1.0-1.1build5_source.buildinfo
Files:
 2d8332eadb9619563c1f016f22ac25a0 2282 ocaml optional coq-quickchick_2.1.0-1.1build5.dsc
 6a452fc15a182deb8c0cef9d6aea4e89 3216 ocaml optional coq-quickchick_2.1.0-1.1build5.debian.tar.xz
 f7c23dace4821db53b6d682e93c0c37b 8326 ocaml optional coq-quickchick_2.1.0-1.1build5_source.buildinfo