[ubuntu/resolute-proposed] coq-relation-algebra 1.7.11-1build14 (Accepted)

[Sebastien Bacher]

coq-relation-algebra (1.7.11-1build14) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Fri, 06 Mar 2026 11:52: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/coq-relation-algebra/1.7.11-1build14
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Mar 2026 11:52:04 +0100
Source: coq-relation-algebra
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.11-1build14
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-relation-algebra (1.7.11-1build14) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 21321c410c506b8185fd898c907c982ff41c82c8 2254 coq-relation-algebra_1.7.11-1build14.dsc
 82c3dd3ce03a5db0aee59f1692e1d45f7853388c 2580 coq-relation-algebra_1.7.11-1build14.debian.tar.xz
 bfd4771b23c515f42828a93cd3226d9a17e9230a 8286 coq-relation-algebra_1.7.11-1build14_source.buildinfo
Checksums-Sha256:
 37f753add84059fd8612c88327ac29bee8397cc40fabaaca5c223821d741fad7 2254 coq-relation-algebra_1.7.11-1build14.dsc
 894aaf1a7a252d28bf38b9bf6fa922ca14d6c2b5ac6f8ea576ccdaa42126d775 2580 coq-relation-algebra_1.7.11-1build14.debian.tar.xz
 a03b09d8477d0a667ab9366a38ca78fc7cf2d8c5da3ad1ecd7004c870a1f95aa 8286 coq-relation-algebra_1.7.11-1build14_source.buildinfo
Files:
 3195a0224d9dcf2beaf6bd70266ab356 2254 ocaml optional coq-relation-algebra_1.7.11-1build14.dsc
 3d28dc2bd151a3b0968bf0f4ae6c6601 2580 ocaml optional coq-relation-algebra_1.7.11-1build14.debian.tar.xz
 67e32f85243d8e34612d22643a4e7ee7 8286 ocaml optional coq-relation-algebra_1.7.11-1build14_source.buildinfo