[ubuntu/plucky-proposed] coq-dpdgraph 1.0+8.20-1build2 (Accepted)

[Gianfranco Costamagna]

coq-dpdgraph (1.0+8.20-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:23:30 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:23:30 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build2
Distribution: plucky
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-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 73ce946413f65e71b60b35f418d31a95f26bba95 2217 coq-dpdgraph_1.0+8.20-1build2.dsc
 19cdeeff2ab974775f14f90c2dd0a49dd4e40093 3236 coq-dpdgraph_1.0+8.20-1build2.debian.tar.xz
 c9a6566d088f221d906150732b53d3fca156bef8 7319 coq-dpdgraph_1.0+8.20-1build2_source.buildinfo
Checksums-Sha256:
 d3ca0dec78de71bd50d5238ae871c4972cd8d15df4d2bcbd02b3e63c97647f3d 2217 coq-dpdgraph_1.0+8.20-1build2.dsc
 4445068edd007c5f73589848510111850832fce13f00c895a462f57f9326cb22 3236 coq-dpdgraph_1.0+8.20-1build2.debian.tar.xz
 31004749f2d5927ce4db0ecddac3e805832ace03e98d19e41fe30d573dd79875 7319 coq-dpdgraph_1.0+8.20-1build2_source.buildinfo
Files:
 4003c9a8b409057307bbc4d7a6c5c5a3 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build2.dsc
 43684e17ce21b35c449c3aadf6ab2d7d 3236 ocaml optional coq-dpdgraph_1.0+8.20-1build2.debian.tar.xz
 f85b2fed05137595b80cbcd9875d0cee 7319 ocaml optional coq-dpdgraph_1.0+8.20-1build2_source.buildinfo