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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 30 Jan 2025 22:42:30 +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.20-1build1
-------------- next part --------------
Format: 1.8
Date: Thu, 30 Jan 2025 22:42:30 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.20-1build1
Distribution: plucky
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.20-1build1) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0ced0c1c010cb0e98d51916914d6516be9969764 2217 coq-dpdgraph_1.0+8.20-1build1.dsc
 392ad1fa9daa4e2e179c617d9ac2ba3ab9ffce7c 3212 coq-dpdgraph_1.0+8.20-1build1.debian.tar.xz
 98ed7632e5d8bd019c2f13a8ab1a2118798a59d4 7780 coq-dpdgraph_1.0+8.20-1build1_source.buildinfo
Checksums-Sha256:
 3f22786b876b2ad5b488153ad074bc07c8bdc1209b7c58465438a6666da0ba6b 2217 coq-dpdgraph_1.0+8.20-1build1.dsc
 7bf6b7fc1f277c77055d90f7b557871b07fa7b3a8d1bd165155ed3ea6c604b42 3212 coq-dpdgraph_1.0+8.20-1build1.debian.tar.xz
 999410b8bd199f41abb8dad18cef21fe58d01103710da60791665564e50d99db 7780 coq-dpdgraph_1.0+8.20-1build1_source.buildinfo
Files:
 d2ff89849f0d01e02dcd83d6b8deb4cc 2217 ocaml optional coq-dpdgraph_1.0+8.20-1build1.dsc
 f2b78304ab00ae4b65c16955ba1e1d86 3212 ocaml optional coq-dpdgraph_1.0+8.20-1build1.debian.tar.xz
 592df5831b62b248fa7eca1fe6363def 7780 ocaml optional coq-dpdgraph_1.0+8.20-1build1_source.buildinfo