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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:47 +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-5build10
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:47 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build10
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-5build10) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 fa5dd644e170d7640adaf265f31f1f68b9d40a4a 2217 coq-reduction-effects_0.1.5-5build10.dsc
 8b6aa9b8ac8cb570a64ecbb95313e0f40e0d2428 2184 coq-reduction-effects_0.1.5-5build10.debian.tar.xz
 920212a2ccee74b52b9c485ed0084867147d8c7a 7907 coq-reduction-effects_0.1.5-5build10_source.buildinfo
Checksums-Sha256:
 ae1a1e9f7bad74f0a6b07ff7adae9c693c8f9ff4d1d92f31e9b3ec472dae01fd 2217 coq-reduction-effects_0.1.5-5build10.dsc
 8b862063208a5ef22b546264ba55efa818ad255620fb2591e38c8f788d5440bb 2184 coq-reduction-effects_0.1.5-5build10.debian.tar.xz
 662731ba876e77717ed623bcef9f3ae57b293be1664f569ae598b7670c748b92 7907 coq-reduction-effects_0.1.5-5build10_source.buildinfo
Files:
 7567ceeed71385bee6369ec62a85d771 2217 ocaml optional coq-reduction-effects_0.1.5-5build10.dsc
 ea8cb9a253621d8a8fbe3c421f881c6b 2184 ocaml optional coq-reduction-effects_0.1.5-5build10.debian.tar.xz
 c2904cf7e29e9af27820ce1baf61d001 7907 ocaml optional coq-reduction-effects_0.1.5-5build10_source.buildinfo