[ubuntu/noble-proposed] coq-reduction-effects 0.1.5-1build3 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.5-1build3) noble; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 08 Apr 2024 09:14:57 +0200
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
https://launchpad.net/ubuntu/+source/coq-reduction-effects/0.1.5-1build3
-------------- next part --------------
Format: 1.8
Date: Mon, 08 Apr 2024 09:14:57 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-1build3
Distribution: noble
Urgency: medium
Maintainer: Ubuntu Developers <ubuntu-devel-discuss at lists.ubuntu.com>
Changed-By: Gianfranco Costamagna <locutusofborg at debian.org>
Changes:
 coq-reduction-effects (0.1.5-1build3) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 d0b542f6abf2aa61dea396397fd796efb380c789 2292 coq-reduction-effects_0.1.5-1build3.dsc
 f0d44ce1534b57becd6927137efa76b1c40a90d9 1916 coq-reduction-effects_0.1.5-1build3.debian.tar.xz
 0b7a8a853dc2f0a53fe49703c92db33d2abe3bea 7872 coq-reduction-effects_0.1.5-1build3_source.buildinfo
Checksums-Sha256:
 500129d683863eb25da1575c36c81c74cc201f8c63cf6435b202ca27719a5a5f 2292 coq-reduction-effects_0.1.5-1build3.dsc
 6a85ea0e553a22701ef991b869de00282b61ed0eb28a6001ec08f338698ca74e 1916 coq-reduction-effects_0.1.5-1build3.debian.tar.xz
 fdca0f483485242b277cec51205a824b036ab36f1f97755e715214e4c994fb4f 7872 coq-reduction-effects_0.1.5-1build3_source.buildinfo
Files:
 002904d5b98e7a52837e39dabee306f0 2292 ocaml optional coq-reduction-effects_0.1.5-1build3.dsc
 4dc6ad3581c53bce0bd3f0991039762d 1916 ocaml optional coq-reduction-effects_0.1.5-1build3.debian.tar.xz
 e3507f1e535de57124680d6a0b4e14dc 7872 ocaml optional coq-reduction-effects_0.1.5-1build3_source.buildinfo
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>