[ubuntu/resolute-proposed] coq-gappa 1.7.0-1build2 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.7.0-1build2) resolute; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Mon, 05 Jan 2026 18:35:02 +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.7.0-1build2
-------------- next part --------------
Format: 1.8
Date: Mon, 05 Jan 2026 18:35:02 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1build2
Distribution: resolute
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.7.0-1build2) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 f829431d1b43a53883e8a0d2151a0bb3448fbbc8 2082 coq-gappa_1.7.0-1build2.dsc
 98243de2c7124c163f67d2a4feba572cb88146cf 2312 coq-gappa_1.7.0-1build2.debian.tar.xz
 6e7fc2cc370d74d3021d749a23a1d0c7feb5bf02 6936 coq-gappa_1.7.0-1build2_source.buildinfo
Checksums-Sha256:
 c804a04b62878aba54b81a720eabae6121b66cd50a92793521a6a6dada79154e 2082 coq-gappa_1.7.0-1build2.dsc
 2c82e03b1c4ba6e7005e52810697b803c41a5ea9fb2ae60a7edc062201ecc86e 2312 coq-gappa_1.7.0-1build2.debian.tar.xz
 31777cfff6a2838c92f78a7f5e121ca599c6d0e4553f9c9f27c5d4ce0ec95015 6936 coq-gappa_1.7.0-1build2_source.buildinfo
Files:
 88390ab49a3405893a9913c0f0fe2711 2082 math optional coq-gappa_1.7.0-1build2.dsc
 ee8adc13e5a392bfc94b0e1fdf861111 2312 math optional coq-gappa_1.7.0-1build2.debian.tar.xz
 59fa8cea3e42e8f72f0fc3e5bdc48905 6936 math optional coq-gappa_1.7.0-1build2_source.buildinfo