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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 27 Jan 2023 09:43:25 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 27 Jan 2023 09:43:25 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.16-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 41674beb87328b69371fc8872144e1e46a178f1c 2207 coq-dpdgraph_1.0+8.16-2build1.dsc
 df515bb4679ba2d34c24886570d1551a2230eb51 2804 coq-dpdgraph_1.0+8.16-2build1.debian.tar.xz
 b102f46c2391477260337fb289487d9e325d6e78 7124 coq-dpdgraph_1.0+8.16-2build1_source.buildinfo
Checksums-Sha256:
 f86bf279ccb6870c1ed79ec8d2c0a1ff011a4d8248d64993cd130db920c15d2d 2207 coq-dpdgraph_1.0+8.16-2build1.dsc
 19c147628e934aa14974f82e0c20398aebfb0c1c03ae41827aef5aefe2c33912 2804 coq-dpdgraph_1.0+8.16-2build1.debian.tar.xz
 ab2845a84ac0d278dbccc888da74cbec7aec551102aece4c468805ec5dcbe5af 7124 coq-dpdgraph_1.0+8.16-2build1_source.buildinfo
Files:
 9622db98a5e0e1f122a055cc9a164b2c 2207 ocaml optional coq-dpdgraph_1.0+8.16-2build1.dsc
 261067ed0282b9a92a17bd17bf318636 2804 ocaml optional coq-dpdgraph_1.0+8.16-2build1.debian.tar.xz
 7af0fc103615cb04fe944274a6c73357 7124 ocaml optional coq-dpdgraph_1.0+8.16-2build1_source.buildinfo