[ubuntu/resolute-proposed] coq-corn 8.20.0-1build12 (Accepted)

[Sebastien Bacher]

coq-corn (8.20.0-1build12) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Thu, 05 Mar 2026 08:54:16 +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-corn/8.20.0-1build12
-------------- next part --------------
Format: 1.8
Date: Thu, 05 Mar 2026 08:54:16 +0100
Source: coq-corn
Built-For-Profiles: noudeb
Architecture: source
Version: 8.20.0-1build12
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-corn (8.20.0-1build12) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 f2af951b36c7c2bd9703ee33283f504eb888766c 2108 coq-corn_8.20.0-1build12.dsc
 7c34482f5a1607331224b3625ef76fa5c627b7a6 4616 coq-corn_8.20.0-1build12.debian.tar.xz
 d2a9e58a12fb79bc49e43bca7cea43854d9e6780 8238 coq-corn_8.20.0-1build12_source.buildinfo
Checksums-Sha256:
 baace864e7aa74707a542522911f894700060582711e1f8affefe3d05c896dbb 2108 coq-corn_8.20.0-1build12.dsc
 9c371ba380499355c2b82d21a2f859b0b10f7299e78e66882cf2ae221a60d84c 4616 coq-corn_8.20.0-1build12.debian.tar.xz
 bc22c0a4cd33b2ffe1726195fca06f1c248e196178fe1f92c5ef838966ba51aa 8238 coq-corn_8.20.0-1build12_source.buildinfo
Files:
 869254c205ffe4ab71cb24efaa068ceb 2108 ocaml optional coq-corn_8.20.0-1build12.dsc
 78851c45f2d18cb47fc6579699633c14 4616 ocaml optional coq-corn_8.20.0-1build12.debian.tar.xz
 992154b21b10a40edeecfe630e712f6a 8238 ocaml optional coq-corn_8.20.0-1build12_source.buildinfo