[ubuntu/resolute-proposed] coq-deriving 0.2.1-1build14 (Accepted)

[Sebastien Bacher]

coq-deriving (0.2.1-1build14) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Fri, 06 Mar 2026 11:51:50 +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-deriving/0.2.1-1build14
-------------- next part --------------
Format: 1.8
Date: Fri, 06 Mar 2026 11:51:50 +0100
Source: coq-deriving
Built-For-Profiles: noudeb
Architecture: source
Version: 0.2.1-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-deriving (0.2.1-1build14) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 c227597deaf4231592436d3bfb801e0ab0132005 2116 coq-deriving_0.2.1-1build14.dsc
 9947404d1bc3c840b984b7e908031072b5df7085 2576 coq-deriving_0.2.1-1build14.debian.tar.xz
 02085627930d77b021dcb63063294f7e97f27687 8250 coq-deriving_0.2.1-1build14_source.buildinfo
Checksums-Sha256:
 276196cdaf80596a6c755992c2f74a4ae929ac2cf1b8387733db42b8f224f401 2116 coq-deriving_0.2.1-1build14.dsc
 7907c374ffc9ef66c7bf67d77ec026749d7a385f4dae65edfa57997eb20d20ca 2576 coq-deriving_0.2.1-1build14.debian.tar.xz
 f0514268f8b66a2fd8571ebe3bc8d2cb8b417579ad1d28c377945cad322b57c9 8250 coq-deriving_0.2.1-1build14_source.buildinfo
Files:
 179aa6974d457f00299fc0c64a4ce8ea 2116 ocaml optional coq-deriving_0.2.1-1build14.dsc
 8d66562669d715908cc5d94be28cbc84 2576 ocaml optional coq-deriving_0.2.1-1build14.debian.tar.xz
 56dcf00c7ea21d97b680ac43902f09c2 8250 ocaml optional coq-deriving_0.2.1-1build14_source.buildinfo