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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 15 Aug 2024 08:38:53 +0200
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-5build1
-------------- next part --------------
Format: 1.8
Date: Thu, 15 Aug 2024 08:38:53 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build1
Distribution: oracular
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-5build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 603ddd941ae9b6c1915e68d81f0038d6e20835a6 2213 coq-reduction-effects_0.1.5-5build1.dsc
 fffa3b30324b1fbce708e510b3346914e4955099 1948 coq-reduction-effects_0.1.5-5build1.debian.tar.xz
 662d945e0304c9027254dc52b48332142e3737c1 7896 coq-reduction-effects_0.1.5-5build1_source.buildinfo
Checksums-Sha256:
 d25f6fa3237f416b9060becf5b37cd0bdc23c3cc2e47cfc933c64f3d9d7c1f4f 2213 coq-reduction-effects_0.1.5-5build1.dsc
 d10ced1654e65417def9fbf1569a8910d03ffc61744f826ddce4f46dc8babd3c 1948 coq-reduction-effects_0.1.5-5build1.debian.tar.xz
 346e458ed2bec3ba37381586f9433e02bada5b8c35f0b250ba662e13019edb83 7896 coq-reduction-effects_0.1.5-5build1_source.buildinfo
Files:
 5c9c16bda42b384886fd5634670af9e7 2213 ocaml optional coq-reduction-effects_0.1.5-5build1.dsc
 0b78abf9008a36c9e75baff8b1e9a5d0 1948 ocaml optional coq-reduction-effects_0.1.5-5build1.debian.tar.xz
 b5dcdb1cd8342025f9e8acd59e977b01 7896 ocaml optional coq-reduction-effects_0.1.5-5build1_source.buildinfo