[ubuntu/plucky-proposed] coq-reduction-effects 0.1.5-5build6 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.5-5build6) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:32:43 +0100
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-reduction-effects/0.1.5-5build6
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:32:43 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build6
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-reduction-effects (0.1.5-5build6) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 77c29bb74529fc16ae905876c49785a67b53a8af 2213 coq-reduction-effects_0.1.5-5build6.dsc
 5aec4a0132fed67778e5244b06ebf60bfca405e8 2096 coq-reduction-effects_0.1.5-5build6.debian.tar.xz
 44e528bded749d068b72f2ac585df2db7c134286 7343 coq-reduction-effects_0.1.5-5build6_source.buildinfo
Checksums-Sha256:
 7d63ff69287cc241870662d7338b970b71d4a6f749678bc7fd5d942417b4c1dc 2213 coq-reduction-effects_0.1.5-5build6.dsc
 81c19fe0bd40d3d8a113b5ac5dc0edf98a4188ff587553772984008d9fbf2c70 2096 coq-reduction-effects_0.1.5-5build6.debian.tar.xz
 909391fd1e147408ea0b6cd2beab76ed28d6546a3c211fecdeac8586c23b7688 7343 coq-reduction-effects_0.1.5-5build6_source.buildinfo
Files:
 61a6fd2f11a137fbf1d9825892699220 2213 ocaml optional coq-reduction-effects_0.1.5-5build6.dsc
 bee3b7c140eabafec2403cfed8ef78f0 2096 ocaml optional coq-reduction-effects_0.1.5-5build6.debian.tar.xz
 f212c41cbcad4f6a50401ed4aa069846 7343 ocaml optional coq-reduction-effects_0.1.5-5build6_source.buildinfo