[ubuntu/resolute-proposed] coq-dpdgraph 1.0+8.20-1build7 (Accepted)

[Sebastien Bacher]

coq-dpdgraph (1.0+8.20-1build7) resolute; urgency=medium

  * No change rebuild with fixed amd64v3 builders

Date: Sun, 01 Mar 2026 10:58:15 +0100
Changed-By: Sebastien Bacher <seb128 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-1build7
-------------- next part --------------
Format: 1.8
Date: Sun, 01 Mar 2026 10:58:15 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build7
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-dpdgraph (1.0+8.20-1build7) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 7b38a9a02de9cf0e60a019c805e66f2e211e4cde 2217 coq-dpdgraph_1.0+8.20-1build7.dsc
 714dae6a83b7fd63b6b3469b0ffd92b1248ac1cf 3408 coq-dpdgraph_1.0+8.20-1build7.debian.tar.xz
 29dfba87bed07800950e3bd333d327daea8f8147 8258 coq-dpdgraph_1.0+8.20-1build7_source.buildinfo
Checksums-Sha256:
 df557600289087b6194d9a663ac1716a8ad8f5da9be1c45b22255c2159153b02 2217 coq-dpdgraph_1.0+8.20-1build7.dsc
 0acd1a0b57e9220ce50c9aabc548781fc1e86557c7cdcd4003fcdba6a952b1e6 3408 coq-dpdgraph_1.0+8.20-1build7.debian.tar.xz
 fe2d58efde51c6b313ba562390bcdc2f3861f2c3cd072e827895ed280771038c 8258 coq-dpdgraph_1.0+8.20-1build7_source.buildinfo
Files:
 745343ea4a040740201e4faa0d6a9f5a 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build7.dsc
 d006120098f4d48b9c55cdf105af6035 3408 ocaml optional coq-dpdgraph_1.0+8.20-1build7.debian.tar.xz
 4a74a0af2d45836c4382f61db3080fcc 8258 ocaml optional coq-dpdgraph_1.0+8.20-1build7_source.buildinfo