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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Fri, 25 Nov 2022 19:12:30 +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-2build2
-------------- next part --------------
Format: 1.8
Date: Fri, 25 Nov 2022 19:12:30 +0100
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-2build2
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-2build2) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 c73d22686f6671d0cf0c79c56290626a3a287461 2208 coq-reduction-effects_0.1.4-2build2.dsc
 afa5dbdc229664c40f1271e7ab1bae24c484bd14 1612 coq-reduction-effects_0.1.4-2build2.debian.tar.xz
 b82f4d0c3c7b96ec28b1330e697f7003bbbd492a 7925 coq-reduction-effects_0.1.4-2build2_source.buildinfo
Checksums-Sha256:
 cfb0e1fa202e9c03bcfefeeffb4c84b02ea706fe36d2978d58ead7e074648907 2208 coq-reduction-effects_0.1.4-2build2.dsc
 fd95715afddd174afd3ff2ea69a8b7dd87d4a782ce348d6976b57784d42e9f2c 1612 coq-reduction-effects_0.1.4-2build2.debian.tar.xz
 d580c43b31c45e82b3b30db8a3af38ab74e7ebb5a27b20a510223a3b57674b45 7925 coq-reduction-effects_0.1.4-2build2_source.buildinfo
Files:
 d6aa1ffeddd2a45c3df2c3e265011ea4 2208 ocaml optional coq-reduction-effects_0.1.4-2build2.dsc
 f28774272ac3b536714d417577ff60f7 1612 ocaml optional coq-reduction-effects_0.1.4-2build2.debian.tar.xz
 bc71c6fc6fdf4981afb61c4103aed64a 7925 ocaml optional coq-reduction-effects_0.1.4-2build2_source.buildinfo