[ubuntu/resolute-proposed] coq-interval 4.11.1-1build16 (Accepted)

[Sebastien Bacher]

coq-interval (4.11.1-1build16) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Sun, 08 Mar 2026 16:23:33 +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-interval/4.11.1-1build16
-------------- next part --------------
Format: 1.8
Date: Sun, 08 Mar 2026 16:23:33 +0100
Source: coq-interval
Built-For-Profiles: noudeb
Architecture: source
Version: 4.11.1-1build16
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-interval (4.11.1-1build16) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 c5b638985c785eddb46cff8dd757a799b9d0e0a6 2194 coq-interval_4.11.1-1build16.dsc
 d9b2d163e6b1547c45a0c4909ab495e934012e94 9736 coq-interval_4.11.1-1build16.debian.tar.xz
 33c8fd7ce8e155d07fedd747c26bc4417fbd15e4 8254 coq-interval_4.11.1-1build16_source.buildinfo
Checksums-Sha256:
 c9f952571c2944a157ff35d9f33c20655cf5a3ff42162769dc9c1d1c38374534 2194 coq-interval_4.11.1-1build16.dsc
 74eed1f18ff535a709a8e119b6f585ef24d9c47e8907b6bf9c9f38e87b3f51fe 9736 coq-interval_4.11.1-1build16.debian.tar.xz
 9021f903c37410a16b1ca45a60ee33cfa95b4af24a02cec39645568f05a40f76 8254 coq-interval_4.11.1-1build16_source.buildinfo
Files:
 35512d6d4a5ae6142223047c826e71c7 2194 ocaml optional coq-interval_4.11.1-1build16.dsc
 9372472caf42968e05140a1b09adb0a7 9736 ocaml optional coq-interval_4.11.1-1build16.debian.tar.xz
 3db7a0871cfcbac57d0702f6742c5292 8254 ocaml optional coq-interval_4.11.1-1build16_source.buildinfo