[ubuntu/resolute-proposed] coq-simple-io 1.11.0-1build4 (Accepted)

[Sebastien Bacher]

coq-simple-io (1.11.0-1build4) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:34 +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-simple-io/1.11.0-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:34 +0100
Source: coq-simple-io
Built-For-Profiles: noudeb
Architecture: source
Version: 1.11.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-simple-io (1.11.0-1build4) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 a677784c7fa28c2e355ca1d309244fd93903f6be 2169 coq-simple-io_1.11.0-1build4.dsc
 e68a26246a5e9e5c296037b5a96b665e36886475 2840 coq-simple-io_1.11.0-1build4.debian.tar.xz
 916cbb142d90c26c104144bfc2f17880d2ee8260 8254 coq-simple-io_1.11.0-1build4_source.buildinfo
Checksums-Sha256:
 fb7696fed9be40c453a548adbe62d775caad7d1cf424589349bd0e54f0cf8b74 2169 coq-simple-io_1.11.0-1build4.dsc
 4b91f0bb3fb3e525732d476213accc87e475fb36d13b3b35df30253fb9227146 2840 coq-simple-io_1.11.0-1build4.debian.tar.xz
 f2f3c02c76fbc6c938443bd63d2b8f5be755dff6a5f050a7c76f2b4cb6793051 8254 coq-simple-io_1.11.0-1build4_source.buildinfo
Files:
 87fed97156ac8ca2ac43ccab8b7e8fb2 2169 ocaml optional coq-simple-io_1.11.0-1build4.dsc
 5d80854f9a9c21f49512018299ed556a 2840 ocaml optional coq-simple-io_1.11.0-1build4.debian.tar.xz
 f8572bc77bf5a96d7dfa779715540afa 8254 ocaml optional coq-simple-io_1.11.0-1build4_source.buildinfo