[ubuntu/oracular-proposed] coq-reduction-effects 0.1.5-5build2 (Accepted)

[Matthias Klose]

coq-reduction-effects (0.1.5-5build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 00:44:12 +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-reduction-effects/0.1.5-5build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 00:44:12 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build2
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-reduction-effects (0.1.5-5build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 e9d096bc3ba0142f1899c6524e2eff1fad1bd717 2213 coq-reduction-effects_0.1.5-5build2.dsc
 5dc216911ee65d8db6b48176e2d37838542b40c1 2008 coq-reduction-effects_0.1.5-5build2.debian.tar.xz
 91277d7f6aca979217e1e2c9f04d0e2f233059e3 5740 coq-reduction-effects_0.1.5-5build2_source.buildinfo
Checksums-Sha256:
 e89bbfcca7cead8fb01de8701f3ee7b6dedfde5361f7ea98fe85dd207dfe41b1 2213 coq-reduction-effects_0.1.5-5build2.dsc
 4b7f0e26f6b23f5534bbd3664413a0d7047e1bb026340bd1cb15b8d947ae353d 2008 coq-reduction-effects_0.1.5-5build2.debian.tar.xz
 79a742b20320ae6bdb38267d2bf807c5024301339f1d6099ca0559332e64417b 5740 coq-reduction-effects_0.1.5-5build2_source.buildinfo
Files:
 1c367aaad001913bc77b1bfc40a89ca5 2213 ocaml optional coq-reduction-effects_0.1.5-5build2.dsc
 34ad0eb1922620004e0945b830da7e62 2008 ocaml optional coq-reduction-effects_0.1.5-5build2.debian.tar.xz
 b8ef6f8eebc9df8125e609b7ce73e4c1 5740 ocaml optional coq-reduction-effects_0.1.5-5build2_source.buildinfo