[ubuntu/plucky-proposed] coq-dpdgraph 1.0+8.20-1build3 (Accepted)

[Matthias Klose]

coq-dpdgraph (1.0+8.20-1build3) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:18 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-dpdgraph/1.0+8.20-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:18 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-dpdgraph (1.0+8.20-1build3) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 21eb8a3832c34a096ddd463bff96a2177befec78 2217 coq-dpdgraph_1.0+8.20-1build3.dsc
 176980ed12c55bd2f743526c2440bddd99c61e19 3292 coq-dpdgraph_1.0+8.20-1build3.debian.tar.xz
 5ae999dd1119c4b42a9297cf6620f00891386ec7 3847 coq-dpdgraph_1.0+8.20-1build3_source.buildinfo
Checksums-Sha256:
 5a8f128e0a63ad9c5983229d18a20b4ec08ac1fb9875c0de342c310eb86caa30 2217 coq-dpdgraph_1.0+8.20-1build3.dsc
 09b5a4266e8e4dafac5d686e5f69e787182a72ae8ab395db83ce7a2e26c92ea0 3292 coq-dpdgraph_1.0+8.20-1build3.debian.tar.xz
 357fe27db24f403105702141a07cee8ac94bb3524146c62ec38709c08d257430 3847 coq-dpdgraph_1.0+8.20-1build3_source.buildinfo
Files:
 da48a8448b6fda9c93a926d3318e247f 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build3.dsc
 b246bbb235917c4813d5eefc468385bd 3292 ocaml optional coq-dpdgraph_1.0+8.20-1build3.debian.tar.xz
 4b74d768fc4b3472c545b3fd9c55c460 3847 ocaml optional coq-dpdgraph_1.0+8.20-1build3_source.buildinfo