[ubuntu/resolute-proposed] mathcomp-algebra-tactics 1.2.4-1build10 (Accepted)

[Sebastien Bacher]

mathcomp-algebra-tactics (1.2.4-1build10) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Sun, 08 Mar 2026 16:23:38 +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/mathcomp-algebra-tactics/1.2.4-1build10
-------------- next part --------------
Format: 1.8
Date: Sun, 08 Mar 2026 16:23:38 +0100
Source: mathcomp-algebra-tactics
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.4-1build10
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at debian.org>
Changes:
 mathcomp-algebra-tactics (1.2.4-1build10) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 c9212c2cccfcbb788c28f4171b42ac4128d9cdad 2285 mathcomp-algebra-tactics_1.2.4-1build10.dsc
 26acbbe63157f4bf0819014cc68876aba2790a70 9308 mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz
 d8320c498fe17e33ae2c4a014cc030d516134dd5 8298 mathcomp-algebra-tactics_1.2.4-1build10_source.buildinfo
Checksums-Sha256:
 10156cf9453d1919a766514e04bf9ccc8d1c1a25bd6c44e11bc48f7758bfd238 2285 mathcomp-algebra-tactics_1.2.4-1build10.dsc
 675e63bf15340591205568953a70637b83f01aa63635ca6f75c8b405d47cff05 9308 mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz
 af5735e6f2075691732a87505617be93b63de7eaf04903a6e97ac6ea687c3207 8298 mathcomp-algebra-tactics_1.2.4-1build10_source.buildinfo
Files:
 6fabc20e31e58f3988ed406ecc5f314d 2285 ocaml optional mathcomp-algebra-tactics_1.2.4-1build10.dsc
 2893e42386378bf2b99b49da0c48361c 9308 ocaml optional mathcomp-algebra-tactics_1.2.4-1build10.debian.tar.xz
 fbdb0b5ade008587e88491e795d5bbb0 8298 ocaml optional mathcomp-algebra-tactics_1.2.4-1build10_source.buildinfo