[ubuntu/plucky-proposed] coq-gappa 1.6.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.6.0-1build2) plucky; urgency=medium

  * Rebuild against new OCAML ABI.

Date: Fri, 14 Feb 2025 00:41:58 +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-gappa/1.6.0-1build2
-------------- next part --------------
Format: 1.8
Date: Fri, 14 Feb 2025 00:41:58 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build2
Distribution: plucky
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.6.0-1build2) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 bd0dd5b10b77e4f0fb53906a37c0d3242642f212 2082 coq-gappa_1.6.0-1build2.dsc
 ec76942b2121bd62cae3e5afb7ee7e8120e4ee76 2476 coq-gappa_1.6.0-1build2.debian.tar.xz
 20a587304c2948fe717aa913c9a2822eba9806fd 7295 coq-gappa_1.6.0-1build2_source.buildinfo
Checksums-Sha256:
 1da43599b91e955347c8668898d909ef0aa0a40c415841dd18d45a10b2f8a196 2082 coq-gappa_1.6.0-1build2.dsc
 b0f1aea431408eea81e80e296e30bbd135a9986b9cd2357cfa2bb4c42ca41b6f 2476 coq-gappa_1.6.0-1build2.debian.tar.xz
 701687b1f697cf340b5315d71a437344d3f040808bb591c1ce767e44bddb153e 7295 coq-gappa_1.6.0-1build2_source.buildinfo
Files:
 70caec7305c5c4d62fe57150924631e6 2082 math optional coq-gappa_1.6.0-1build2.dsc
 303ba57f468c85a29fcaff57f649b4b5 2476 math optional coq-gappa_1.6.0-1build2.debian.tar.xz
 9f0b8b6dc7a127890afd79cf512e43ad 7295 math optional coq-gappa_1.6.0-1build2_source.buildinfo