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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:32:42 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:32:42 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.16-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f3274e202952ea2db0bb0673161661db2196bbcd 2207 coq-dpdgraph_1.0+8.16-2build2.dsc
 a450eb4c5b320d036d6701475752ebc9d2b10a3f 2820 coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz
 08a6bb14e7c3213942a06f04f5fa3dc19bca3b34 7168 coq-dpdgraph_1.0+8.16-2build2_source.buildinfo
Checksums-Sha256:
 5d81348904d5783b497d60a5a416e0a9c48b92f8be353a794165a29fdfb84400 2207 coq-dpdgraph_1.0+8.16-2build2.dsc
 8f119973f70b6d784dc5ba2b6c34875723b6cf57c149e857c0020faf38a14f2e 2820 coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz
 134e9dbcfbaa528eb407b3b8ee8206bbbaec69da60d783db6d6349803add0120 7168 coq-dpdgraph_1.0+8.16-2build2_source.buildinfo
Files:
 9f813e6d0e297a68055c304fbe5e599f 2207 ocaml optional coq-dpdgraph_1.0+8.16-2build2.dsc
 631067c222d62163cf71ffb63e46c287 2820 ocaml optional coq-dpdgraph_1.0+8.16-2build2.debian.tar.xz
 baf3d6031749688a69760cbfcbc7df8c 7168 ocaml optional coq-dpdgraph_1.0+8.16-2build2_source.buildinfo