[ubuntu/oracular-proposed] coq-dpdgraph 1.0+8.19-2build1 (Accepted)
Gianfranco Costamagna
locutusofborg at debian.org
Fri Aug 9 12:52:18 UTC 2024
coq-dpdgraph (1.0+8.19-2build1) oracular; urgency=medium
* Rebuild against new OCAML ABIs.
Date: Fri, 09 Aug 2024 14:51:29 +0200
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.19-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 09 Aug 2024 14:51:29 +0200
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.19-2build1
Distribution: oracular
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.19-2build1) oracular; urgency=medium
.
* Rebuild against new OCAML ABIs.
Checksums-Sha1:
623d4a5c447d4f7f700d2208a486725f9d70d739 2217 coq-dpdgraph_1.0+8.19-2build1.dsc
762b1670ae8071fc9aff60c28455fd68c77a6e81 3208 coq-dpdgraph_1.0+8.19-2build1.debian.tar.xz
ce2442b981b896b57d04a55192f9241fb1ffa86d 7872 coq-dpdgraph_1.0+8.19-2build1_source.buildinfo
Checksums-Sha256:
72c427dc7fd1401389243e4d1d6c5ef156d856912cf79184fabdb762abd319d9 2217 coq-dpdgraph_1.0+8.19-2build1.dsc
1b0b9c4bbb75692885387a0396929a67e1188b3544d9cb26f1e0d771f77929cd 3208 coq-dpdgraph_1.0+8.19-2build1.debian.tar.xz
97a1d7847a723f6a371f6406874c08cdb80fba4a618e5cec8ef17371bfaddf96 7872 coq-dpdgraph_1.0+8.19-2build1_source.buildinfo
Files:
d1ab9113abcbe6637c5e748cf6cbc47a 2217 ocaml optional coq-dpdgraph_1.0+8.19-2build1.dsc
250cc61828219b921f10e226f7f42f27 3208 ocaml optional coq-dpdgraph_1.0+8.19-2build1.debian.tar.xz
45e0845b2794322bbe30e76a681e8671 7872 ocaml optional coq-dpdgraph_1.0+8.19-2build1_source.buildinfo
More information about the oracular-changes
mailing list