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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Thu, 26 Jan 2023 14:00: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-3build1
-------------- next part --------------
Format: 1.8
Date: Thu, 26 Jan 2023 14:00:59 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-3build1
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-3build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 4dc0311026c2572865f6fb17fc26997037628b90 2213 coq-reduction-effects_0.1.4-3build1.dsc
 6436868b987aa191adb3c26032ff5a862e26fd5d 1644 coq-reduction-effects_0.1.4-3build1.debian.tar.xz
 048b0ec657673f20dca3abeb816b7416dfb4f059 7148 coq-reduction-effects_0.1.4-3build1_source.buildinfo
Checksums-Sha256:
 588f9379be3a08ef11c87d8d6f9cb977ba94c6721fd3bff88f993a5592c0cbb8 2213 coq-reduction-effects_0.1.4-3build1.dsc
 c2c95c5d5593fcb15aafb679f7cb60ce34dc519225d79cbcc05eb29a9f1eef44 1644 coq-reduction-effects_0.1.4-3build1.debian.tar.xz
 d6b32417f85b5283bcfb24734d5e7b88a96b5cbc46c05d85c38bd0702daa2a52 7148 coq-reduction-effects_0.1.4-3build1_source.buildinfo
Files:
 b79e6b4aa80aa626249eea46a5f35ec9 2213 ocaml optional coq-reduction-effects_0.1.4-3build1.dsc
 41dfb59225e82a64b23c187cc7214427 1644 ocaml optional coq-reduction-effects_0.1.4-3build1.debian.tar.xz
 ef20e625eaa47182eb5131339e2d395e 7148 ocaml optional coq-reduction-effects_0.1.4-3build1_source.buildinfo