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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Fri, 25 Nov 2022 12:04:43 +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-2build1
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 12:04:43 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-2build1
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-2build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 6cb8669080103e31314664194eeb0e535f4372db 2208 coq-reduction-effects_0.1.4-2build1.dsc
 e9486e3aba3772a2c0796aa157c943bb77263bbf 1600 coq-reduction-effects_0.1.4-2build1.debian.tar.xz
 fe68aa52ef4fb7da00bb73cca4a9b6aea4b9ce9e 7925 coq-reduction-effects_0.1.4-2build1_source.buildinfo
Checksums-Sha256:
 d1ed7a3e5198e63293a001f4a3893038e77124c338b81646a985587a76a6b8c6 2208 coq-reduction-effects_0.1.4-2build1.dsc
 8cca7854b5450b8714d45a07fc36a4182558654017b7619942913e98b7dfcc8c 1600 coq-reduction-effects_0.1.4-2build1.debian.tar.xz
 571846e59bee4a9545b7b352ffdaf50dca1856e68a019473fe9efa579c003cc2 7925 coq-reduction-effects_0.1.4-2build1_source.buildinfo
Files:
 3a9886287edd634b97b917edee510b07 2208 ocaml optional coq-reduction-effects_0.1.4-2build1.dsc
 7325f2c41680991ce38861671d103f44 1600 ocaml optional coq-reduction-effects_0.1.4-2build1.debian.tar.xz
 5f315f720e488935dad0a6d41ca0de93 7925 ocaml optional coq-reduction-effects_0.1.4-2build1_source.buildinfo