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

[Matthias Klose]

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

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 16:34:53 +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-5build3
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 16:34:53 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build3
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-5build3) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 ff2143c7e4015427d3d3b155dc4965b7484db52a 2213 coq-reduction-effects_0.1.5-5build3.dsc
 35bd38fb41d3c8fdcfeb9fe58eb0d68655d627a5 2020 coq-reduction-effects_0.1.5-5build3.debian.tar.xz
 4345ec6e88dfdc6e5d76a46dc12454dc06c04550 5740 coq-reduction-effects_0.1.5-5build3_source.buildinfo
Checksums-Sha256:
 91f296d8fb22999dafa2d9ca8590fc75b235160cd116b059f8afecd9050bf820 2213 coq-reduction-effects_0.1.5-5build3.dsc
 145d17e330137cb555ef94872a16947ee04651e9979ce4c33ab1076150684bc5 2020 coq-reduction-effects_0.1.5-5build3.debian.tar.xz
 a7f8b09932ae359a99cb7e2289257ab5f8dbdf14efc1ee28120e08cb9e4e82aa 5740 coq-reduction-effects_0.1.5-5build3_source.buildinfo
Files:
 1821fc6a72b364c477366f2df44be47e 2213 ocaml optional coq-reduction-effects_0.1.5-5build3.dsc
 2f552c52223bdd07f7a19c60eaf366a1 2020 ocaml optional coq-reduction-effects_0.1.5-5build3.debian.tar.xz
 152440329e882dc2e27030502a945b36 5740 ocaml optional coq-reduction-effects_0.1.5-5build3_source.buildinfo