[ubuntu/questing-proposed] coq-gappa 1.7.0-1build1 (Accepted)

[Gianfranco Costamagna]

coq-gappa (1.7.0-1build1) questing; urgency=medium

  * Rebuild against new OCAML ABIs.

Date: Fri, 20 Jun 2025 13:29:49 +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.7.0-1build1
-------------- next part --------------
Format: 1.8
Date: Fri, 20 Jun 2025 13:29:49 +0200
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.7.0-1build1
Distribution: questing
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-1build1) questing; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 9467d07de1713ec7da7f43dbd2f74c525677a9bc 2082 coq-gappa_1.7.0-1build1.dsc
 c525f012cb0de8d7a74a4496e932895c62e569bb 2288 coq-gappa_1.7.0-1build1.debian.tar.xz
 c5efaab7dceeae1063adf2b738f6c51678a00abe 7000 coq-gappa_1.7.0-1build1_source.buildinfo
Checksums-Sha256:
 b071a779277e67ac29f8da8f48808a2360bfd2cf120bebe624cced9f54f8a848 2082 coq-gappa_1.7.0-1build1.dsc
 cd138e45be5a10cb8ecdd5164196d3d4156865bc10d33648f5fb01fd5f56ccd7 2288 coq-gappa_1.7.0-1build1.debian.tar.xz
 a6a479a148158be63eee1eae6c26657f7672876c0bddde2fe14430edad00e9d9 7000 coq-gappa_1.7.0-1build1_source.buildinfo
Files:
 1ae84906db74d9e5f9c94c64666575d3 2082 math optional coq-gappa_1.7.0-1build1.dsc
 07fbbe4154ac3716f73202a72a204318 2288 math optional coq-gappa_1.7.0-1build1.debian.tar.xz
 0d20a7028b6731b6ba41c1a0cf8b8e71 7000 math optional coq-gappa_1.7.0-1build1_source.buildinfo