[ubuntu/resolute-proposed] coq-mtac2 1.4+8.20-1build9 (Accepted)

[Sebastien Bacher]

coq-mtac2 (1.4+8.20-1build9) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:31 +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-mtac2/1.4+8.20-1build9
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:31 +0100
Source: coq-mtac2
Built-For-Profiles: noudeb
Architecture: source
Version: 1.4+8.20-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:
 coq-mtac2 (1.4+8.20-1build9) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 e3ac9b29a5c654046b15a8886b9c6e58af3585aa 2099 coq-mtac2_1.4+8.20-1build9.dsc
 54e04033d1a2081d162a9d18493ff4d232ecfdf7 3228 coq-mtac2_1.4+8.20-1build9.debian.tar.xz
 9ee3268e8b5e7f1b441159dae1d6086cb8a4f4f2 8246 coq-mtac2_1.4+8.20-1build9_source.buildinfo
Checksums-Sha256:
 6bc4273342123a0cfe4b32fc36799acec1099ed9d125a44722abeaecbc8d5684 2099 coq-mtac2_1.4+8.20-1build9.dsc
 8267b4493367e9ff1eb469a3a8abb7ae2a299f284c1cf7945b37ba81b773a3c1 3228 coq-mtac2_1.4+8.20-1build9.debian.tar.xz
 1adac14a459f7ae1bdc2cb00e88a9c07a703c52069181b6701c728f131b05fbf 8246 coq-mtac2_1.4+8.20-1build9_source.buildinfo
Files:
 ab0a01f373ffb55269cc860fdd2d2ea8 2099 ocaml optional coq-mtac2_1.4+8.20-1build9.dsc
 c41c21e3c50abd2b309e2793b492d2e6 3228 ocaml optional coq-mtac2_1.4+8.20-1build9.debian.tar.xz
 7c670173ed5cbed97b4f560b5833ce81 8246 ocaml optional coq-mtac2_1.4+8.20-1build9_source.buildinfo