[ubuntu/lunar-proposed] coq-dpdgraph 1.0+8.16-1build1 (Accepted)

[Gianfranco Costamagna]

coq-dpdgraph (1.0+8.16-1build1) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Sat, 26 Nov 2022 22:39:23 +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.16-1build1
-------------- next part --------------
Format: 1.8
Date: Sat, 26 Nov 2022 22:39:23 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.16-1build1
Distribution: lunar
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.16-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 2fc51f3ea3253ed9ccaf52679603c7d64dd019ad 2202 coq-dpdgraph_1.0+8.16-1build1.dsc
 0fb4549f883c9ece7d135746512e70f819007d09 2776 coq-dpdgraph_1.0+8.16-1build1.debian.tar.xz
 143a0432210a71fda81c4bfa1c8ce596546af87c 7901 coq-dpdgraph_1.0+8.16-1build1_source.buildinfo
Checksums-Sha256:
 4cd62fecfda9067f61cebf7f9e9067346e63ea85d9e30a0b10c14bc0329551e8 2202 coq-dpdgraph_1.0+8.16-1build1.dsc
 dc819013113cf9938f11d269a1294657e720713e9b49ec6db39b5aa1c665497e 2776 coq-dpdgraph_1.0+8.16-1build1.debian.tar.xz
 c079f50ebfad18fafc444a11710dadabbe705258838ffe450b3594e5167e0d80 7901 coq-dpdgraph_1.0+8.16-1build1_source.buildinfo
Files:
 7f539ffc947fe59847c267522effe1db 2202 ocaml optional coq-dpdgraph_1.0+8.16-1build1.dsc
 1d76d1b74a9e6ba1c7545b6551ce47e8 2776 ocaml optional coq-dpdgraph_1.0+8.16-1build1.debian.tar.xz
 5f20707ce22251a41b2759c4d1bdafaf 7901 ocaml optional coq-dpdgraph_1.0+8.16-1build1_source.buildinfo