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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Sat, 03 Dec 2022 10:45:33 +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-2build3
-------------- next part --------------
Format: 1.8
Date: Sat, 03 Dec 2022 10:45:33 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-2build3
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-2build3) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 bdacc687107f9d041c753b9c28acab8c16c59571 2208 coq-reduction-effects_0.1.4-2build3.dsc
 966eadcdbc3a5a53eb9110a82fcb5c4848b40704 1628 coq-reduction-effects_0.1.4-2build3.debian.tar.xz
 fe886c75314a56f770d0705d4273728105031d8c 7927 coq-reduction-effects_0.1.4-2build3_source.buildinfo
Checksums-Sha256:
 a3a4b94f0b1c3dcbdb19561d8825ee552ab11be57e9fc304a45504a11f8ddf18 2208 coq-reduction-effects_0.1.4-2build3.dsc
 074ff45bd599cc5e49345e1af0b921c221dd5ba4fb78055412eaa1f8dc282c28 1628 coq-reduction-effects_0.1.4-2build3.debian.tar.xz
 1918c0c916dd0aa405c185d27c271a4ca4178b9f313e303bd55d02dbedff464e 7927 coq-reduction-effects_0.1.4-2build3_source.buildinfo
Files:
 1d5b45103300ac69f47e602868fc07f4 2208 ocaml optional coq-reduction-effects_0.1.4-2build3.dsc
 6146ec6e69f24ad42601cbad56aa09cf 1628 ocaml optional coq-reduction-effects_0.1.4-2build3.debian.tar.xz
 52df0c7b259f464020872aeabf2bca56 7927 ocaml optional coq-reduction-effects_0.1.4-2build3_source.buildinfo