[ubuntu/plucky-proposed] coq-reduction-effects 0.1.5-5build4 (Accepted)

[Jeremy Bícha]

coq-reduction-effects (0.1.5-5build4) plucky; urgency=medium

  * Rebuild against latest coq

Date: Wed, 20 Nov 2024 17:31:16 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-reduction-effects/0.1.5-5build4
-------------- next part --------------
Format: 1.8
Date: Wed, 20 Nov 2024 17:31:16 -0500
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build4
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-reduction-effects (0.1.5-5build4) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 fbd4596d5617d3328a0a85a2250e6359e6f0e973 2213 coq-reduction-effects_0.1.5-5build4.dsc
 cf3c2bd741c613edd701f54db807437d21ecc576 2072 coq-reduction-effects_0.1.5-5build4.debian.tar.xz
 3b0283680304ee33038b7d7c7f031e3afef77119 7009 coq-reduction-effects_0.1.5-5build4_source.buildinfo
Checksums-Sha256:
 a67ff6ee956b8d6b7f2fc7706fe8c50a6c4706796c0851ed2c0b5809031de5ef 2213 coq-reduction-effects_0.1.5-5build4.dsc
 894bde6fa0913b9e2d585b76d96859602be56e297c4532ff90a0119d91f4177e 2072 coq-reduction-effects_0.1.5-5build4.debian.tar.xz
 4d402b2e6f4bd6c3fcac6aeaf2302becb848b55ab2438ab84330d9cd8d9a2ff0 7009 coq-reduction-effects_0.1.5-5build4_source.buildinfo
Files:
 ee08cffdcdde88fe3e4e23f78060cc8b 2213 ocaml optional coq-reduction-effects_0.1.5-5build4.dsc
 ce55aadd35922613785cf2e05cc7be0e 2072 ocaml optional coq-reduction-effects_0.1.5-5build4.debian.tar.xz
 0b48fd4d99b7967c198516205ce15145 7009 ocaml optional coq-reduction-effects_0.1.5-5build4_source.buildinfo