[ubuntu/resolute-proposed] coq-dpdgraph 1.0+8.20-1build8 (Accepted)

[Sebastien Bacher]

coq-dpdgraph (1.0+8.20-1build8) resolute; urgency=medium

  * Rebuild again because riscv picked the wrong ABI

Date: Wed, 04 Mar 2026 07:56:16 +0100
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-dpdgraph/1.0+8.20-1build8
-------------- next part --------------
Format: 1.8
Date: Wed, 04 Mar 2026 07:56:16 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build8
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-dpdgraph (1.0+8.20-1build8) resolute; urgency=medium
 .
   * Rebuild again because riscv picked the wrong ABI
Checksums-Sha1:
 f837eb05d90eafc105d1649da4d5a814d1b85d1d 2217 coq-dpdgraph_1.0+8.20-1build8.dsc
 87cea8f78adecb3a9e4d1a589d646f33168d9a43 3440 coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz
 ac64436419d4904b5944fe58ed80502f23e0c117 8258 coq-dpdgraph_1.0+8.20-1build8_source.buildinfo
Checksums-Sha256:
 a4446887e40b7a38037c0ef3cd8dcacf8a174b92dd7c822659acd69da7a1136c 2217 coq-dpdgraph_1.0+8.20-1build8.dsc
 ca1f7f144f79222809ade517d0b5a6d99299202932115fd6feb2425d409359f5 3440 coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz
 80f3c28132d5dd6023e759ebd6d881484513de4b377bc8408a9c3bacb3801f09 8258 coq-dpdgraph_1.0+8.20-1build8_source.buildinfo
Files:
 2d70391bc1e19be11826fa5227b0b8fa 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build8.dsc
 7849f357c2fda55c428e8a989368e541 3440 ocaml optional coq-dpdgraph_1.0+8.20-1build8.debian.tar.xz
 5b2445dbf8e80ac2ad37f00935a95e59 8258 ocaml optional coq-dpdgraph_1.0+8.20-1build8_source.buildinfo