[ubuntu/noble-proposed] coq-dpdgraph 1.0+8.17-1build3 (Accepted)

[Gianfranco Costamagna]

coq-dpdgraph (1.0+8.17-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:40:53 +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.17-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:40:53 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.17-1build3
Distribution: noble
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-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 67b7e3c03e5f45268ca49ddd29f0a10e0c4253ae 2217 coq-dpdgraph_1.0+8.17-1build3.dsc
 715621a22070c5ae2a42a36f926b0b6798945d30 2992 coq-dpdgraph_1.0+8.17-1build3.debian.tar.xz
 15969d41e66f8d017e8c5038dd461d890595bf88 7828 coq-dpdgraph_1.0+8.17-1build3_source.buildinfo
Checksums-Sha256:
 8422209fba776b9145433ab8f90c4c23267e20b964bdb2b40c1f9006bd0c0cbe 2217 coq-dpdgraph_1.0+8.17-1build3.dsc
 38ea707f24bec077084a7a31ac5ceb57059bf6cb01f8a1fcc98a19d8abbfeb30 2992 coq-dpdgraph_1.0+8.17-1build3.debian.tar.xz
 118a6356a9e2fd4fdfa802d551de8b613c9ab5daa68c752b0f962ac44d90109b 7828 coq-dpdgraph_1.0+8.17-1build3_source.buildinfo
Files:
 9f8fc443ebdacf108680312604d66955 2217 ocaml optional coq-dpdgraph_1.0+8.17-1build3.dsc
 c282df2e6345a1fa14a2f5aac7186b32 2992 ocaml optional coq-dpdgraph_1.0+8.17-1build3.debian.tar.xz
 155f0a97652a913b14465f9c7f1fe959 7828 ocaml optional coq-dpdgraph_1.0+8.17-1build3_source.buildinfo