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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:22:41 +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-1build6
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:22:41 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build6
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-1build6) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 1535fde5d8119ca1b5ee1408dbc53e3205febeed 2217 coq-dpdgraph_1.0+8.20-1build6.dsc
 134a5f96ae8f91b8a5e71eac7f0ba72cd2fb759d 3352 coq-dpdgraph_1.0+8.20-1build6.debian.tar.xz
 1fd7f38b2687040bcdd92bedae9a0c11c787d19f 7879 coq-dpdgraph_1.0+8.20-1build6_source.buildinfo
Checksums-Sha256:
 252dfdb9e03bf9b72af51d5f7f83d38ffa52daa3d328388b67fa1804c76d9330 2217 coq-dpdgraph_1.0+8.20-1build6.dsc
 a6c2afbf80f2fa85c8a56a8de547ad661dfdb75e06396a2d10e3932cf9325289 3352 coq-dpdgraph_1.0+8.20-1build6.debian.tar.xz
 91afb936b57a614a53124980b487d172bfeba370f0be9cd83242f07bb1537f35 7879 coq-dpdgraph_1.0+8.20-1build6_source.buildinfo
Files:
 612cd80dd87738dce1ca5c98690fb342 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build6.dsc
 2e99f6ee887b3f6b5e181d0fd4161f62 3352 ocaml optional coq-dpdgraph_1.0+8.20-1build6.debian.tar.xz
 7b9e09427e74e523081c8a42538047ce 7879 ocaml optional coq-dpdgraph_1.0+8.20-1build6_source.buildinfo