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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABI.

Date: Wed, 19 Feb 2025 08:07:29 +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-1build4
-------------- next part --------------
Format: 1.8
Date: Wed, 19 Feb 2025 08:07:29 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build4
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-1build4) plucky; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 79f02b4ae8ab31759100469698535849eac92454 2082 coq-gappa_1.6.0-1build4.dsc
 bf6c9b10b36b216183bc3a336a0958b9110c8fcd 2500 coq-gappa_1.6.0-1build4.debian.tar.xz
 240d26afd8d897a07f67a6eab3983b6500e89310 7295 coq-gappa_1.6.0-1build4_source.buildinfo
Checksums-Sha256:
 1b537faf655446cc43c0d9e36df7b7869da71392d4988a0abccf2b7d66ca19a4 2082 coq-gappa_1.6.0-1build4.dsc
 d228eec59f386f40ab9fb098f57949d929b90b10716d9acf6bade91649d61766 2500 coq-gappa_1.6.0-1build4.debian.tar.xz
 b78b00905dbc0bf6d51b639a29802364986b76f1bdf1b88adea271941369f3b2 7295 coq-gappa_1.6.0-1build4_source.buildinfo
Files:
 cdaa66481454e09d2d6373f79bd2b3b7 2082 math optional coq-gappa_1.6.0-1build4.dsc
 4e3533b409377e01e8ecd10e5ba66c7e 2500 math optional coq-gappa_1.6.0-1build4.debian.tar.xz
 464c0190b2a33d8ed1fff48c3fd24736 7295 math optional coq-gappa_1.6.0-1build4_source.buildinfo