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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:27 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:27 +0200
Source: coq-stdpp
Built-For-Profiles: noudeb
Architecture: source
Version: 1.10.0-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-stdpp (1.10.0-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 9d691e0ab4f98292b61722c37058813e03c3ed19 2072 coq-stdpp_1.10.0-2build2.dsc
 19fe7ef109bf5b73b85c7d5389eecdf01d82b69c 2884 coq-stdpp_1.10.0-2build2.debian.tar.xz
 4b78e0fb87692f290237cf5562f287ab7abb02c8 5696 coq-stdpp_1.10.0-2build2_source.buildinfo
Checksums-Sha256:
 eb1de3d9099b8c84ee96266283909150fb9d4fb43f83159e78bbc887d4b5566f 2072 coq-stdpp_1.10.0-2build2.dsc
 2c3166023071654636a1e4b30d658e5ff71049ba10af8c3cd1feb8c079f77d5e 2884 coq-stdpp_1.10.0-2build2.debian.tar.xz
 63214d0196db594acf713429c46bdeaa4809c157797410cb14677d9e6019119f 5696 coq-stdpp_1.10.0-2build2_source.buildinfo
Files:
 60311bdd5f37f942389cb7914348be07 2072 ocaml optional coq-stdpp_1.10.0-2build2.dsc
 2211a7956d5b73b7dff0283a02f96b54 2884 ocaml optional coq-stdpp_1.10.0-2build2.debian.tar.xz
 b36e20bfa615e689c09975e963647bd9 5696 ocaml optional coq-stdpp_1.10.0-2build2_source.buildinfo