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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 02 May 2024 22:10:11 +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-4build1
-------------- next part --------------
Format: 1.8
Date: Thu, 02 May 2024 22:10:11 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-4build1
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-4build1) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6a9479d9cf1d766203bab90d49c15acc15e75713 2213 coq-reduction-effects_0.1.5-4build1.dsc
 77c7609f92a18c0602d806a928d7713eb3d5b0ae 1876 coq-reduction-effects_0.1.5-4build1.debian.tar.xz
 27c56a59b84161dfa9985154d6e04f34d7159204 7872 coq-reduction-effects_0.1.5-4build1_source.buildinfo
Checksums-Sha256:
 39896bb8df3da3671da59aaab86ec05edb6d2d0015f182a39d3242cbff64d80c 2213 coq-reduction-effects_0.1.5-4build1.dsc
 7ed51fa4f2182a8cf10edacb66845956ef06a31a9d5ac7fe6804443ce4606d89 1876 coq-reduction-effects_0.1.5-4build1.debian.tar.xz
 cf1426b5c8c1781de82f1f0609dc96928a806022f6eaf1bf845da99ad9d1f11b 7872 coq-reduction-effects_0.1.5-4build1_source.buildinfo
Files:
 10f9e352c52e53ddf3739f91a75c037c 2213 ocaml optional coq-reduction-effects_0.1.5-4build1.dsc
 d0d662d106d6496dc1982ec742aa8df5 1876 ocaml optional coq-reduction-effects_0.1.5-4build1.debian.tar.xz
 acd6d05a62d552f2ea057118941acdb1 7872 ocaml optional coq-reduction-effects_0.1.5-4build1_source.buildinfo