[ubuntu/mantic-proposed] coq-gappa 1.5.2-5build2 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.5.2-5build2) mantic; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Tue, 13 Jun 2023 10:44:06 +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-gappa/1.5.2-5build2
-------------- next part --------------
Format: 1.8
Date: Tue, 13 Jun 2023 10:44:06 +0200
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.2-5build2
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-gappa (1.5.2-5build2) mantic; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 d66a508e0be5186892e4ea61c720625f1d78ccce 2072 coq-gappa_1.5.2-5build2.dsc
 6a8e08cc6c23a19200f6e34ce506c8b0bf5cfd3c 2100 coq-gappa_1.5.2-5build2.debian.tar.xz
 016898599ac1a79c4de872dcc26feaa9e6ef8ab5 7178 coq-gappa_1.5.2-5build2_source.buildinfo
Checksums-Sha256:
 4523ed34b7ebd9c256a059dd742b72c34f7e0b7302e376854a78bfc3f120c1c2 2072 coq-gappa_1.5.2-5build2.dsc
 87fc854c1170c82d06a297c5f074325893f62d2a9d2eab1ffa7711eb000fe304 2100 coq-gappa_1.5.2-5build2.debian.tar.xz
 964f3ef032d452560f666d97a71624565bafe00fa050fc8e9db184182b88001c 7178 coq-gappa_1.5.2-5build2_source.buildinfo
Files:
 d3d631f09248f7b7cac0f2dd7767084d 2072 math optional coq-gappa_1.5.2-5build2.dsc
 a745b567cff79df1dd61914b4de5a373 2100 math optional coq-gappa_1.5.2-5build2.debian.tar.xz
 d6840d4414f597777d7ae7781bb4f31c 7178 math optional coq-gappa_1.5.2-5build2_source.buildinfo