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

[Jeremy Bícha]

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

  * Rebuild against latest ocaml

Date: Sat, 01 Feb 2025 20:17:28 -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-5build5
-------------- next part --------------
Format: 1.8
Date: Sat, 01 Feb 2025 20:17:28 -0500
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.5-5build5
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-5build5) plucky; urgency=medium
 .
   * Rebuild against latest ocaml
Checksums-Sha1:
 2d4dcc06d6b2bf588eeba305474d256e27a8691b 2213 coq-reduction-effects_0.1.5-5build5.dsc
 300f0366e036214a50cd0c8b2b2c59514deed318 2080 coq-reduction-effects_0.1.5-5build5.debian.tar.xz
 2a03ba0df4a2c3ae7d4f7da78d1eeef9df94d169 7098 coq-reduction-effects_0.1.5-5build5_source.buildinfo
Checksums-Sha256:
 4a5e2d93d5e2d005ad0296a0172f47fc4ce73f1cdba6606a08f7e79ceae9e8d1 2213 coq-reduction-effects_0.1.5-5build5.dsc
 91b61aeb20ef1b1035f50579bae0a76237d4f38e527dfc993fe828175a32671b 2080 coq-reduction-effects_0.1.5-5build5.debian.tar.xz
 14969854d450fba0a3fa13f5bd4ed7bc5ee7bf92cb88c7f0e9a8c64e04f84931 7098 coq-reduction-effects_0.1.5-5build5_source.buildinfo
Files:
 3dbe1a988b37ea0cf0b9098557ff14cc 2213 ocaml optional coq-reduction-effects_0.1.5-5build5.dsc
 b4abe0cd8cab8f53d628fd9fb6878799 2080 ocaml optional coq-reduction-effects_0.1.5-5build5.debian.tar.xz
 980f4595d4911627e7fc8bb344b2f23a 7098 ocaml optional coq-reduction-effects_0.1.5-5build5_source.buildinfo