[ubuntu/resolute-proposed] coqeal 2.1.0-1build9 (Accepted)

Sebastien Bacher seb128 at debian.org
Mon Mar 9 06:23:16 UTC 2026


coqeal (2.1.0-1build9) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Sun, 08 Mar 2026 21:17:04 +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/coqeal/2.1.0-1build9
-------------- next part --------------
Format: 1.8
Date: Sun, 08 Mar 2026 21:17:04 +0100
Source: coqeal
Built-For-Profiles: noudeb
Architecture: source
Version: 2.1.0-1build9
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Changes:
 coqeal (2.1.0-1build9) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 98c55aac49fa98b7a8077ab15d931d00d282f44c 2170 coqeal_2.1.0-1build9.dsc
 4bcda7f8ff1fa13417eef979a22892f8aa420cb2 2644 coqeal_2.1.0-1build9.debian.tar.xz
 e159e56ca19e3b8e81ad160ebe9e1749038d2dd8 8222 coqeal_2.1.0-1build9_source.buildinfo
Checksums-Sha256:
 015da17222301e3eb6d2022a456b6ea61f8a9bee5bcffc036ebd2289b7c044bd 2170 coqeal_2.1.0-1build9.dsc
 773801b1273cae80869b59565829542286c197712595fc05d4f354007a38ec16 2644 coqeal_2.1.0-1build9.debian.tar.xz
 0fc0fc8828a6fe9728b9c090dbe0d7e91a38b6c6fa58a83fd558895c7505234d 8222 coqeal_2.1.0-1build9_source.buildinfo
Files:
 e7ada9c1279064aca3030f08fc727c2b 2170 ocaml optional coqeal_2.1.0-1build9.dsc
 2ccb156644c30bce287da3703b52283a 2644 ocaml optional coqeal_2.1.0-1build9.debian.tar.xz
 52f0cf80c37f2e67101faf0a32fc19b9 8222 ocaml optional coqeal_2.1.0-1build9_source.buildinfo


More information about the Resolute-changes mailing list