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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Sat, 15 Jun 2024 16:34:54 +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-4build3
-------------- next part --------------
Format: 1.8
Date: Sat, 15 Jun 2024 16:34:54 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-4build3
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-4build3) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 a57a3bbdab00d379321c9de843fd304344003176 2213 coq-reduction-effects_0.1.5-4build3.dsc
 05d3237c31a660a4f9279b89dd813c2e494aad63 1900 coq-reduction-effects_0.1.5-4build3.debian.tar.xz
 1ce8bcdfed551f4087307c69df3f324ccbbfdd85 7872 coq-reduction-effects_0.1.5-4build3_source.buildinfo
Checksums-Sha256:
 b3ae8c63a173e6f0045e01dd2109f7255b76b5519ee11109fadf0770bb745c69 2213 coq-reduction-effects_0.1.5-4build3.dsc
 253cfa90dbaef152e0cd250b213f9f1e7a082c85994c32b73278fab2128a20eb 1900 coq-reduction-effects_0.1.5-4build3.debian.tar.xz
 415aa07a9e41449b016dfd6f41e536ea2d21840a15c618bb0f339fb6696813b5 7872 coq-reduction-effects_0.1.5-4build3_source.buildinfo
Files:
 ccd9481fbf02a2dbe1b79a491f278c75 2213 ocaml optional coq-reduction-effects_0.1.5-4build3.dsc
 e66f0ae71d9f06d46ce2a82c9dfd0194 1900 ocaml optional coq-reduction-effects_0.1.5-4build3.debian.tar.xz
 f963c15825aa94dffcd34adeb64867a3 7872 ocaml optional coq-reduction-effects_0.1.5-4build3_source.buildinfo