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

[Gianfranco Costamagna]

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

  * Rebuild against new OCAML ABIs.

Date: Thu, 29 Jan 2026 20:23:46 +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-1build3
-------------- next part --------------
Format: 1.8
Date: Thu, 29 Jan 2026 20:23:46 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1build3
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-1build3) resolute; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 36d377345d5eebc8e8e2a069e1e0fbb9c2f790db 2082 coq-gappa_1.7.0-1build3.dsc
 c6bf008d401ffca234995e73e9f896ce9c4aa9db 2320 coq-gappa_1.7.0-1build3.debian.tar.xz
 19d84e4fd2da6da305b41130037a8542ba55f329 6936 coq-gappa_1.7.0-1build3_source.buildinfo
Checksums-Sha256:
 0b26c7f6d65d37c8607077ff74b17d49b50066fa27c1ee6c085f3fe1a3c1c4ba 2082 coq-gappa_1.7.0-1build3.dsc
 7405a82ca075d2c9ea08294691b12e7e27de5328258f6834ee5585cecd4a11b9 2320 coq-gappa_1.7.0-1build3.debian.tar.xz
 df2b0d7452e52e4e24fe994c114ca24386e049116aedb4e1e3ca8650bc2d5da7 6936 coq-gappa_1.7.0-1build3_source.buildinfo
Files:
 aecbef378f65ba7d2d479774dff7bd7c 2082 math optional coq-gappa_1.7.0-1build3.dsc
 871436302b4ef5f89b83bcbab9664d69 2320 math optional coq-gappa_1.7.0-1build3.debian.tar.xz
 b88c87167e9e550d142f070c6c842d3b 6936 math optional coq-gappa_1.7.0-1build3_source.buildinfo