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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 20:31:37 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 20:31:37 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.16-1build2
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-1build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 1920e6576c1884e3aba8acfe79df031631b7656d 2202 coq-dpdgraph_1.0+8.16-1build2.dsc
 03027f91e3f83d6e753f2ed961bcfaddb448d44a 2780 coq-dpdgraph_1.0+8.16-1build2.debian.tar.xz
 c93ad26e761df9841ad4db735749fa02d183b517 7903 coq-dpdgraph_1.0+8.16-1build2_source.buildinfo
Checksums-Sha256:
 d4b32ee28d3116a900d29976e71d194541fea8f4cc3c126dfe7386f11efa4c75 2202 coq-dpdgraph_1.0+8.16-1build2.dsc
 a393c56829d76c865de3bf9cbe7bfc05e362db55147a34acb34eaf45116047fb 2780 coq-dpdgraph_1.0+8.16-1build2.debian.tar.xz
 d30ba93ec605a070c8066b4c9ede2530cce601e66a0c703e1e8589802caff8d4 7903 coq-dpdgraph_1.0+8.16-1build2_source.buildinfo
Files:
 20c132d3c7f5fe6c4a3c2dbef19b879d 2202 ocaml optional coq-dpdgraph_1.0+8.16-1build2.dsc
 2ae14e2373fdf717764e7cfea076aaac 2780 ocaml optional coq-dpdgraph_1.0+8.16-1build2.debian.tar.xz
 0307fa402d47221e7116776cfd58bafc 7903 ocaml optional coq-dpdgraph_1.0+8.16-1build2_source.buildinfo