[ubuntu/resolute-proposed] coq-reglang 1.2.1-4build21 (Accepted)

[Sebastien Bacher]

coq-reglang (1.2.1-4build21) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Fri, 06 Mar 2026 11:52:00 +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-reglang/1.2.1-4build21
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Mar 2026 11:52:00 +0100
Source: coq-reglang
Built-For-Profiles: noudeb
Architecture: source
Version: 1.2.1-4build21
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-reglang (1.2.1-4build21) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 a7a0a11972fa1f34c8d1a488b539746f05973371 2120 coq-reglang_1.2.1-4build21.dsc
 f1e6587364dbe07ad15288b040d7d28abce069d2 9120 coq-reglang_1.2.1-4build21.debian.tar.xz
 dfb61ff1e2bf8f1fd37905968dfd2a311a75e8ea 8246 coq-reglang_1.2.1-4build21_source.buildinfo
Checksums-Sha256:
 df080b363dcfb73e6c77b69e838a73e51ded7b964c46e63c8fc636b5e04d738f 2120 coq-reglang_1.2.1-4build21.dsc
 385fdd8f91a85d660c58be71e79b7c31a0e4a509a0278a29d8e5ee8dc45d9c1b 9120 coq-reglang_1.2.1-4build21.debian.tar.xz
 9d2adaf43217b9dde6b214221a0e10b910e543a91eb735e210fb5130127e3b9d 8246 coq-reglang_1.2.1-4build21_source.buildinfo
Files:
 1504cec383ac2a8b101f20a17f0baf16 2120 ocaml optional coq-reglang_1.2.1-4build21.dsc
 406e888cf79ba879dfa15824dddd7e74 9120 ocaml optional coq-reglang_1.2.1-4build21.debian.tar.xz
 eb53689ca0289ec8afac3250ef1e7325 8246 ocaml optional coq-reglang_1.2.1-4build21_source.buildinfo