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

[Sebastien Bacher]

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

  * No change rebuild with fixed amd64v3 builders

Date: Tue, 03 Mar 2026 20:35:36 +0100
Changed-By: Sebastien Bacher <seb128 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-5build11
-------------- next part --------------
Format: 1.8
Date: Tue, 03 Mar 2026 20:35:36 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build11
Distribution: resolute
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Sebastien Bacher <seb128 at ubuntu.com>
Changes:
 coq-reduction-effects (0.1.5-5build11) resolute; urgency=medium
 .
   * No change rebuild with fixed amd64v3 builders
Checksums-Sha1:
 90beee2ca1d3a20f6215fd6ba22017a5c08b5b6f 2217 coq-reduction-effects_0.1.5-5build11.dsc
 71280d7fe834a8d8fc0beeef3b5b1eee4ecffe62 2228 coq-reduction-effects_0.1.5-5build11.debian.tar.xz
 5e97211ad1c9d3899d30875ba777f172fab9c378 8286 coq-reduction-effects_0.1.5-5build11_source.buildinfo
Checksums-Sha256:
 047230392282f5c6d37f835868371a4880f2173457cdf5226969cfb9330d826b 2217 coq-reduction-effects_0.1.5-5build11.dsc
 d291859d842e5a16a32b56555a97a4bf14baa779c20d9da19c4844edf5478c18 2228 coq-reduction-effects_0.1.5-5build11.debian.tar.xz
 bb1aa5c6ee6aa444f91fffc1cc90a20897e802f9c194e8f22c1851ffc1f2a458 8286 coq-reduction-effects_0.1.5-5build11_source.buildinfo
Files:
 0d1f98ca84abe96cf86f2b36cee766ef 2217 ocaml optional coq-reduction-effects_0.1.5-5build11.dsc
 1c4d4bbc1bccdcdabdb34fb0aa4e4652 2228 ocaml optional coq-reduction-effects_0.1.5-5build11.debian.tar.xz
 31f53604075d30ba0d41a33e15a40cc5 8286 ocaml optional coq-reduction-effects_0.1.5-5build11_source.buildinfo