[ubuntu/questing-proposed] coq-dpdgraph 1.0+8.20-1build4 (Accepted)

[Gianfranco Costamagna]

coq-dpdgraph (1.0+8.20-1build4) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 19 Jun 2025 18:33:52 +0200
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-1build4
-------------- next part --------------
Format: 1.8
Date: Thu, 19 Jun 2025 18:33:52 +0200
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build4
Distribution: questing
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-1build4) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 31da2b00b680f3525e6dfb4f5ce1672d0e1c2f23 2217 coq-dpdgraph_1.0+8.20-1build4.dsc
 76bb0b4bcaeab88fb08c548760655e3d84b7ffe0 3316 coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz
 01ebc47a647cf5cad1ac2b01c25b00d98afe0f3c 6882 coq-dpdgraph_1.0+8.20-1build4_source.buildinfo
Checksums-Sha256:
 e4eabe324a50601401c69493b6ec24d0eac23753b87a1e13400895457bff2909 2217 coq-dpdgraph_1.0+8.20-1build4.dsc
 a1ff2dd5e50aaedeb6552fc027341cd0c29d7248e5f7ef62a4c45cca369bd4ea 3316 coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz
 32afb22e7461e88f29f6b581704956ed3592bb63ef3796acf366e8d3a9c77185 6882 coq-dpdgraph_1.0+8.20-1build4_source.buildinfo
Files:
 349f112e9392e7feec234ba4f86a78b4 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build4.dsc
 8c1f6a5fc46e878c3cd62f321b708312 3316 ocaml optional coq-dpdgraph_1.0+8.20-1build4.debian.tar.xz
 bbba43315e71a3675d269219126f3127 6882 ocaml optional coq-dpdgraph_1.0+8.20-1build4_source.buildinfo