[ubuntu/mantic-proposed] coq-dpdgraph 1.0+8.17-1build1 (Accepted)

[Gianfranco Costamagna]

coq-dpdgraph (1.0+8.17-1build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:13:27 +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.17-1build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:13:27 +0200
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.17-1build1
Distribution: mantic
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.17-1build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 20e4dc34ed69c3ce586fd6678dc642cd0568db0f 2217 coq-dpdgraph_1.0+8.17-1build1.dsc
 4ab0782ced97bfc294d0f3a0cb2d69cc947fa6d5 2960 coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz
 57268d0bd2bf618358f0a5975153aa1255134e09 7802 coq-dpdgraph_1.0+8.17-1build1_source.buildinfo
Checksums-Sha256:
 51584449a0d7ce09c381b4648640145a0b4bb6d191667b020711b404f1db4e02 2217 coq-dpdgraph_1.0+8.17-1build1.dsc
 afae7f119cc6c95bd4ca3893162eca3b49ac08c1977e8db3f065bc8330067cca 2960 coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz
 795358813cac1b85ab7932bbbfdf7f7b830587cf712318533f4d81f74c1f2da9 7802 coq-dpdgraph_1.0+8.17-1build1_source.buildinfo
Files:
 aeba6e56c4466de6f84db7df82982041 2217 ocaml optional coq-dpdgraph_1.0+8.17-1build1.dsc
 9add405579505c7d7a2171af5783342f 2960 ocaml optional coq-dpdgraph_1.0+8.17-1build1.debian.tar.xz
 1efb4642a205c834c2e04c137a46a201 7802 ocaml optional coq-dpdgraph_1.0+8.17-1build1_source.buildinfo