[ubuntu/resolute-proposed] coq-math-classes 8.19.0-1build17 (Accepted)

[Sebastien Bacher]

coq-math-classes (8.19.0-1build17) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:28 +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-math-classes/8.19.0-1build17
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:28 +0100
Source: coq-math-classes
Built-For-Profiles: noudeb
Architecture: source
Version: 8.19.0-1build17
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-math-classes (8.19.0-1build17) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 72f565e5a2c96563bf204118bb82daa357bdbcfe 2167 coq-math-classes_8.19.0-1build17.dsc
 1aa8991638469c97c3979b1ea5b3f4c5214c0999 3408 coq-math-classes_8.19.0-1build17.debian.tar.xz
 a47a08c1d5621142b01e79bc41ca1be585aff469 8270 coq-math-classes_8.19.0-1build17_source.buildinfo
Checksums-Sha256:
 bad9e87be93adcb703c69ceeb3deabf9b51ea90cb1c6b244d049ddd4784ffcd8 2167 coq-math-classes_8.19.0-1build17.dsc
 a910c7907a9b5c8f888f0a22fab854d31de7c57cdb9eade9273920fdc4208321 3408 coq-math-classes_8.19.0-1build17.debian.tar.xz
 acbeb24ccc6776622da433792a057ca15475367386f1023ddaf0762a9bf20262 8270 coq-math-classes_8.19.0-1build17_source.buildinfo
Files:
 055ef4b29571139a44ce5e8859e475a6 2167 ocaml optional coq-math-classes_8.19.0-1build17.dsc
 c6058c65b00f7962799928d61890a95d 3408 ocaml optional coq-math-classes_8.19.0-1build17.debian.tar.xz
 85624e999db7280bf6d9586e3df97eee 8270 ocaml optional coq-math-classes_8.19.0-1build17_source.buildinfo