[ubuntu/lunar-proposed] coq-reduction-effects 0.1.4-3build2 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.4-3build2) lunar; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Thu, 16 Feb 2023 19:29:07 +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-3build2
-------------- next part --------------
Format: 1.8
Date: Thu, 16 Feb 2023 19:29:07 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-3build2
Distribution: lunar
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-3build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 3b463371827bb9d5d4bd3dbcf7a37955f015ed87 2213 coq-reduction-effects_0.1.4-3build2.dsc
 a323817a1c87b256e079d25b57b33364598302ee 1656 coq-reduction-effects_0.1.4-3build2.debian.tar.xz
 81aa77e7468eb6f091fc53156132c4dcc6a5f279 7192 coq-reduction-effects_0.1.4-3build2_source.buildinfo
Checksums-Sha256:
 721b162518abc90061ccb597a51032aca961e41af5ac4a23052ea705b5649c06 2213 coq-reduction-effects_0.1.4-3build2.dsc
 929111087dda62e87c3b8a2dcd35b7aecf6946964764715058311bf152fa7155 1656 coq-reduction-effects_0.1.4-3build2.debian.tar.xz
 4ad975ff94893c2099e41e4e4e899ea0b3e50bf5d238741c28c9d81c763996cf 7192 coq-reduction-effects_0.1.4-3build2_source.buildinfo
Files:
 d985827fefad162e59cb056153a0db87 2213 ocaml optional coq-reduction-effects_0.1.4-3build2.dsc
 512ce6edac93572bb0f7c6cff2c5e562 1656 ocaml optional coq-reduction-effects_0.1.4-3build2.debian.tar.xz
 2e6027e76db8b674c5c581292f0ac642 7192 ocaml optional coq-reduction-effects_0.1.4-3build2_source.buildinfo