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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 03 Jan 2026 19:01:24 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-dpdgraph/1.0+8.20-1build5
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Jan 2026 19:01:24 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build5
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-dpdgraph (1.0+8.20-1build5) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 7207ad7ef4a5f8b14ecfac6e6c28a5332dc66ccd 2217 coq-dpdgraph_1.0+8.20-1build5.dsc
 e8879c3f3c32df0d7c16c3d0e829d9e1737b28a6 3336 coq-dpdgraph_1.0+8.20-1build5.debian.tar.xz
 0ccceaac895c0987acb8acf142b8f731857955ec 7875 coq-dpdgraph_1.0+8.20-1build5_source.buildinfo
Checksums-Sha256:
 680e510dc43cf16b7aff516599fa1c1e1184029bcfcf308c03042ba7d84a4d41 2217 coq-dpdgraph_1.0+8.20-1build5.dsc
 4907c081db0637f8976edfec721a3a1852f3a5e0b3e52020d2f7dc49a9c5d48a 3336 coq-dpdgraph_1.0+8.20-1build5.debian.tar.xz
 a19b2dae7961a285d48567f447813ccb1e5c4ff1496454b27c55cb12a993be5e 7875 coq-dpdgraph_1.0+8.20-1build5_source.buildinfo
Files:
 24198ddd8bb2ba9e1b265dbf58427f67 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build5.dsc
 34b6e9cf963c2c0cd4909cf038f80265 3336 ocaml optional coq-dpdgraph_1.0+8.20-1build5.debian.tar.xz
 e81c6154a8a40f2881fadb4739e552fb 7875 ocaml optional coq-dpdgraph_1.0+8.20-1build5_source.buildinfo