[ubuntu/mantic-proposed] coq-reduction-effects 0.1.4-4build1 (Accepted)

[Gianfranco Costamagna]

coq-reduction-effects (0.1.4-4build1) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Wed, 26 Jul 2023 07:11:38 +0200
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-4build1
-------------- next part --------------
Format: 1.8
Date: Wed, 26 Jul 2023 07:11:38 +0200
Source: coq-reduction-effects
Built-For-Profiles: noudeb
Architecture: source
Version: 0.1.4-4build1
Distribution: mantic
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-4build1) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 f4167a8c7994a174f6328033f3793b1484562537 2213 coq-reduction-effects_0.1.4-4build1.dsc
 7a91798620d8b6277c3d7669ccab70d384593489 1768 coq-reduction-effects_0.1.4-4build1.debian.tar.xz
 f30b41bf5061d9260973ba4f9968b16db3b50a3d 7826 coq-reduction-effects_0.1.4-4build1_source.buildinfo
Checksums-Sha256:
 66c1b19dd3fdac03bc63eef82479b561a829bc0ba4f0e054cd82fa7c37b4dd17 2213 coq-reduction-effects_0.1.4-4build1.dsc
 9e54d96d70230c71f2cd2e973b7b8f0ef927f26e0c50e8343c9925db738d7292 1768 coq-reduction-effects_0.1.4-4build1.debian.tar.xz
 52b7c1a081e0509ed75837756358c9db1afe5bca9652671931a141a907cc9fa6 7826 coq-reduction-effects_0.1.4-4build1_source.buildinfo
Files:
 931e62105d3966d7598bf41b39b3c27a 2213 ocaml optional coq-reduction-effects_0.1.4-4build1.dsc
 e6ddfee0e0a2876c106a11b0a342a5f1 1768 ocaml optional coq-reduction-effects_0.1.4-4build1.debian.tar.xz
 2ffe934a72daa1c0f5bcbb97e47b14cd 7826 ocaml optional coq-reduction-effects_0.1.4-4build1_source.buildinfo