[ubuntu/resolute-proposed] coq-reduction-effects 0.1.5-5build9 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.5-5build9) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:30:11 +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-5build9
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:30:11 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build9
Distribution: resolute
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-5build9) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 0467432183b1dd8fd44414918a706d116e44a59e 2213 coq-reduction-effects_0.1.5-5build9.dsc
 d312549868e4123f16410af84c1b5425f80ec088 2172 coq-reduction-effects_0.1.5-5build9.debian.tar.xz
 af8e223b1cc04be5e78dd11d9cbceb04befb35ff 7899 coq-reduction-effects_0.1.5-5build9_source.buildinfo
Checksums-Sha256:
 c86343d28f466c65a885a790b4afe45ec0169129b81238814736045a69c74ebb 2213 coq-reduction-effects_0.1.5-5build9.dsc
 c16cc4bd8e7996ed4337103264abed5391f340a895b2c9a4a9fc02000815e273 2172 coq-reduction-effects_0.1.5-5build9.debian.tar.xz
 c2ce68b15602ddd85a4cee5520339baf3301012ca7387ec39cd5c62879541c92 7899 coq-reduction-effects_0.1.5-5build9_source.buildinfo
Files:
 4fc3d571637f2cadf8c66480938d688a 2213 ocaml optional coq-reduction-effects_0.1.5-5build9.dsc
 89f0362ef5f28ff08e49762c39e98571 2172 ocaml optional coq-reduction-effects_0.1.5-5build9.debian.tar.xz
 353fd71b51a50a12095221a1e4eb2364 7899 ocaml optional coq-reduction-effects_0.1.5-5build9_source.buildinfo