[ubuntu/noble-proposed] coq-dpdgraph 1.0+8.17-1build2 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Sat Nov 4 19:14:11 UTC 2023
coq-dpdgraph (1.0+8.17-1build2) noble; urgency=medium
* Rebuild against new OCAML ABI.
Date: Sat, 04 Nov 2023 20:13:13 +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-1build2
-------------- next part --------------
Format: 1.8
Date: Sat, 04 Nov 2023 20:13:13 +0100
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.17-1build2
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-1build2) noble; urgency=medium
.
* Rebuild against new OCAML ABI.
Checksums-Sha1:
771e77fa859a01c326bab9421bfd0a527e119289 2217 coq-dpdgraph_1.0+8.17-1build2.dsc
8dcd100560dc975013ccbc371eaea5c3b328e26b 2976 coq-dpdgraph_1.0+8.17-1build2.debian.tar.xz
6eeca5660b4bb4a048e98789788b0517f2e03176 7828 coq-dpdgraph_1.0+8.17-1build2_source.buildinfo
Checksums-Sha256:
016bb28770cc7d45d3387cd3591ff69e172239ddbf8066507aa59a447cc02eee 2217 coq-dpdgraph_1.0+8.17-1build2.dsc
8bcde335d65e836d1b0aac0a2490a5f57fd79050ad37262fcaf4a379749645d0 2976 coq-dpdgraph_1.0+8.17-1build2.debian.tar.xz
c81613973f717445f20bfb792115d4daec30024a2fea2a0dc5f3f8d9aa748e94 7828 coq-dpdgraph_1.0+8.17-1build2_source.buildinfo
Files:
46d12e977e6e5b5d4f682e1e74dbb149 2217 ocaml optional coq-dpdgraph_1.0+8.17-1build2.dsc
1f8c3d86f475e34bb7d095bae147ca39 2976 ocaml optional coq-dpdgraph_1.0+8.17-1build2.debian.tar.xz
3415af9296af4dc4477b26f5502d4e27 7828 ocaml optional coq-dpdgraph_1.0+8.17-1build2_source.buildinfo
More information about the noble-changes
mailing list