[ubuntu/oracular-proposed] coq-quickchick 2.0.3-3build3 (Accepted)

[Matthias Klose]

coq-quickchick (2.0.3-3build3) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sun, 08 Sep 2024 04:44:44 +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-quickchick/2.0.3-3build3
-------------- next part --------------
Format: 1.8
Date: Sun, 08 Sep 2024 04:44:44 +0200
Source: coq-quickchick
Built-For-Profiles: noudeb
Architecture: source
Version: 2.0.3-3build3
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-quickchick (2.0.3-3build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 8a1151af452159bbda4626054ebfaf9087ca6fc6 2274 coq-quickchick_2.0.3-3build3.dsc
 0d2b54f9ac94de67c7368a4d62acc9ec5cd9fb51 2984 coq-quickchick_2.0.3-3build3.debian.tar.xz
 5bfb57aa74db6e3fe1a9df7934b65feec80f9e20 5712 coq-quickchick_2.0.3-3build3_source.buildinfo
Checksums-Sha256:
 3c5e630ea8eb0f5d9ea1ee121f14719027aed0315d0bac2a480de24d67572b60 2274 coq-quickchick_2.0.3-3build3.dsc
 914859288208eeac4f529aae0ebdf09ec533ed218c23b9e8a3b867f0b97ad0b3 2984 coq-quickchick_2.0.3-3build3.debian.tar.xz
 8c622f4727b4af27040165c71881c503add3f9b39fd46a61e3559ad15f838b93 5712 coq-quickchick_2.0.3-3build3_source.buildinfo
Files:
 f455ce020ee9ec393a4905121ad461a3 2274 ocaml optional coq-quickchick_2.0.3-3build3.dsc
 d6ab4f174a92a2eb28c89a4749d06bfa 2984 ocaml optional coq-quickchick_2.0.3-3build3.debian.tar.xz
 0e53b54057b92a03852da757b9475b46 5712 ocaml optional coq-quickchick_2.0.3-3build3_source.buildinfo