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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Mon, 13 May 2024 20:20:48 +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-4build2
-------------- next part --------------
Format: 1.8
Date: Mon, 13 May 2024 20:20:48 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-4build2
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-4build2) oracular; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 757c3427ee4b6746f5380eb5cc43c4ec45c0c5d8 2213 coq-reduction-effects_0.1.5-4build2.dsc
 7206da605908d97f4a0460e281e47a6e01043774 1892 coq-reduction-effects_0.1.5-4build2.debian.tar.xz
 53271b0766250d776ad4a78f0947692de14d28dc 7872 coq-reduction-effects_0.1.5-4build2_source.buildinfo
Checksums-Sha256:
 f40bb197a22df7eca21bc3cfd42925bad54d3f759c053853b5956872150e764d 2213 coq-reduction-effects_0.1.5-4build2.dsc
 c9e5e837840b76665787a0d8e68e72cd67280974cf43721587d17baf03f90032 1892 coq-reduction-effects_0.1.5-4build2.debian.tar.xz
 75c1e0576f3cc962564db62b2b321b9bcf9dc72888cbe62af700ac7c0aea0770 7872 coq-reduction-effects_0.1.5-4build2_source.buildinfo
Files:
 776263d5208821e4d4d636767557bc6a 2213 ocaml optional coq-reduction-effects_0.1.5-4build2.dsc
 e2cfb3e06c98d5c245222dc8fd23c824 1892 ocaml optional coq-reduction-effects_0.1.5-4build2.debian.tar.xz
 4d17708dadf8702312f25b791190b71e 7872 ocaml optional coq-reduction-effects_0.1.5-4build2_source.buildinfo