[ubuntu/oracular-proposed] coq-stdpp 1.10.0-2build3 (Accepted)

[Matthias Klose]

coq-stdpp (1.10.0-2build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:35:04 +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-stdpp/1.10.0-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:35:04 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-2build3
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-stdpp (1.10.0-2build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 51ff9aa262b8e54db0118a80fe35174a792aea2c 2072 coq-stdpp_1.10.0-2build3.dsc
 c4b17ab75743c68306c2abb12ff7c868053d171a 2896 coq-stdpp_1.10.0-2build3.debian.tar.xz
 aee08ba5d7c51fe5aacbcc5be540b5a3b8cf10b0 5696 coq-stdpp_1.10.0-2build3_source.buildinfo
Checksums-Sha256:
 90cc84cde6572c78e2c1a40587ecc8f77de23ba2f56587d65aab4d7dcf7da03a 2072 coq-stdpp_1.10.0-2build3.dsc
 d023b6b4ac21eec54bb69fb1be2962883e376f1895a764ff03a35b4b29b3a4eb 2896 coq-stdpp_1.10.0-2build3.debian.tar.xz
 b30ad124529303ca931a468e6416225515155d195c369d3bfae335b00e654dc0 5696 coq-stdpp_1.10.0-2build3_source.buildinfo
Files:
 408236337ffa4c4169aebb527d90c25b 2072 ocaml optional coq-stdpp_1.10.0-2build3.dsc
 2f8f8de94a3946366ede7c56f9605df4 2896 ocaml optional coq-stdpp_1.10.0-2build3.debian.tar.xz
 cea31690617c9e97522b601fed6a1710 5696 ocaml optional coq-stdpp_1.10.0-2build3_source.buildinfo