[ubuntu/resolute-proposed] coq-iris 4.3.0-1ubuntu3 (Accepted)

[Sebastien Bacher]

coq-iris (4.3.0-1ubuntu3) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 16:12:24 +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-iris/4.3.0-1ubuntu3
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 16:12:24 +0100
Source: coq-iris
Built-For-Profiles: noudeb
Architecture: source
Version: 4.3.0-1ubuntu3
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-iris (4.3.0-1ubuntu3) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 3e56746968369d124eb1ea0d0b1fcf69d2b41fb0 2168 coq-iris_4.3.0-1ubuntu3.dsc
 30aac462b3e19610019d74183825a8a6478a849e 13136 coq-iris_4.3.0-1ubuntu3.debian.tar.xz
 392cb6ae0ab46336b43065d89ac8bdb609835cc4 10961 coq-iris_4.3.0-1ubuntu3_source.buildinfo
Checksums-Sha256:
 3868d3f58682375490e489f18015eae5be5feb45fa8bd8ece267dc5c39f5eeee 2168 coq-iris_4.3.0-1ubuntu3.dsc
 ee9741503469240d90a607b9ecaacee0c9eb9dbe881f381b19f48b51d131392a 13136 coq-iris_4.3.0-1ubuntu3.debian.tar.xz
 6e1a7741a8bf9ae5e1220d93337f1cc31b60cff510a1e1cc9e4e278b7060b26e 10961 coq-iris_4.3.0-1ubuntu3_source.buildinfo
Files:
 590f8f3d1dcd527a5deaa333c2f4c5d1 2168 ocaml optional coq-iris_4.3.0-1ubuntu3.dsc
 93c8b4a3e045720c72e1b5d4c4bf47a7 13136 ocaml optional coq-iris_4.3.0-1ubuntu3.debian.tar.xz
 1e5132cb6c4b80c56064e450b2b1a144 10961 ocaml optional coq-iris_4.3.0-1ubuntu3_source.buildinfo