[ubuntu/noble-proposed] coq-reduction-effects 0.1.4-4build3 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.4-4build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Thu, 23 Nov 2023 00:41:59 +0100
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.4-4build3
-------------- next part --------------
Format: 1.8
Date: Thu, 23 Nov 2023 00:41:59 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-4build3
Distribution: noble
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.4-4build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6521c22cddaa631701d00ef2829d9a64c6f4b4fb 2213 coq-reduction-effects_0.1.4-4build3.dsc
 623909fa66d7cad65d588c8b5a82bcd2674bb514 1808 coq-reduction-effects_0.1.4-4build3.debian.tar.xz
 32e1011665c92df5d8e9bb9a3fccbfe46dacea37 7852 coq-reduction-effects_0.1.4-4build3_source.buildinfo
Checksums-Sha256:
 b320be32e5d1e470d87378f719ca0bb26f0b4967d2cec99aa186b40762a1e17a 2213 coq-reduction-effects_0.1.4-4build3.dsc
 acf81fc24759a2e0f1c80aa45692fd68055034d387331af7de298237ff7e7c60 1808 coq-reduction-effects_0.1.4-4build3.debian.tar.xz
 42ad0d9ffcf38c14f3ba3222f7e09f3c2e02d25fe11e7f1c4c38c6b0d045b722 7852 coq-reduction-effects_0.1.4-4build3_source.buildinfo
Files:
 260d608821c8fefe3ed0026618b08b74 2213 ocaml optional coq-reduction-effects_0.1.4-4build3.dsc
 f1b6b5d9359ac50bd63b1eb55594ce42 1808 ocaml optional coq-reduction-effects_0.1.4-4build3.debian.tar.xz
 0f8688272f95cef9f016e1ddfd85d323 7852 ocaml optional coq-reduction-effects_0.1.4-4build3_source.buildinfo