[ubuntu/oracular-proposed] coq-dpdgraph 1.0+8.19-2build2 (Accepted)

Matthias Klose doko at ubuntu.com
Fri Sep 6 22:45:21 UTC 2024


coq-dpdgraph (1.0+8.19-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:08 +0200
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-dpdgraph/1.0+8.19-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:08 +0200
Source: coq-dpdgraph
Built-For-Profiles: noudeb
Architecture: source
Version: 1.0+8.19-2build2
Distribution: oracular
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-dpdgraph (1.0+8.19-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 e36723e52a353790b21c722090136abcc22508bc 2217 coq-dpdgraph_1.0+8.19-2build2.dsc
 018ae07c887f240a27de278135129547f4a2616c 3264 coq-dpdgraph_1.0+8.19-2build2.debian.tar.xz
 ea079e0ff19585a053720ac8a4fc331c3390b11d 5716 coq-dpdgraph_1.0+8.19-2build2_source.buildinfo
Checksums-Sha256:
 dd6ab2c8746c3d0333852d895c0b898092dcf87103491184104d72aab01f9c4a 2217 coq-dpdgraph_1.0+8.19-2build2.dsc
 ddfad38b1ead47e10c56c09349b7358ea9bd932cc34fad2d70ab6d1567795fef 3264 coq-dpdgraph_1.0+8.19-2build2.debian.tar.xz
 58c5c00f8fed803c4d2094424b01914850e12a88c7cde02c7be05a53d8725010 5716 coq-dpdgraph_1.0+8.19-2build2_source.buildinfo
Files:
 f284e79bad7beea4b57ef1d758ca862f 2217 ocaml optional coq-dpdgraph_1.0+8.19-2build2.dsc
 1b80e9fa36db5e952cbd62e5a284f05a 3264 ocaml optional coq-dpdgraph_1.0+8.19-2build2.debian.tar.xz
 8e675a3bddfa44e19aa42b6915ec340e 5716 ocaml optional coq-dpdgraph_1.0+8.19-2build2_source.buildinfo


More information about the oracular-changes mailing list