[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