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

[Jeremy Bícha]

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

  * Rebuild against latest coq

Date: Tue, 18 Feb 2025 20:54:15 -0500
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-gappa/1.6.0-1build3
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 20:54:15 -0500
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.6.0-1build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Jeremy Bícha <jbicha at ubuntu.com>
Changes:
 coq-gappa (1.6.0-1build3) plucky; urgency=medium
 .
   * Rebuild against latest coq
Checksums-Sha1:
 a5e34a86168f1fd3c00a0ada6fc05aec05c90a09 2082 coq-gappa_1.6.0-1build3.dsc
 1f6ce3ca46cc0b0fbeb31843b2e45297deca635c 2492 coq-gappa_1.6.0-1build3.debian.tar.xz
 08f52c4ba34faa51e99297307fd949cbec647a20 7026 coq-gappa_1.6.0-1build3_source.buildinfo
Checksums-Sha256:
 9d712fc7bc51f154822e9752946c9e1316c6ec9d37ac6686e7c5ffc8d504125c 2082 coq-gappa_1.6.0-1build3.dsc
 d5cd914674183d17e2d366d516eda85c57730c4f2cf68d0213d0f110b99f8fa0 2492 coq-gappa_1.6.0-1build3.debian.tar.xz
 3d828498d9ef857c5de4f3a9a924d40abf7402a6ca9140e07b72ee8410d65b9d 7026 coq-gappa_1.6.0-1build3_source.buildinfo
Files:
 c898b6913acfe3a2e24a6a01ca5e25a1 2082 math optional coq-gappa_1.6.0-1build3.dsc
 8a4f0ae84eaf0bb95dbdaee9f13dcb77 2492 math optional coq-gappa_1.6.0-1build3.debian.tar.xz
 c3c65794f1c0e6eb8ad2057c17b95f48 7026 math optional coq-gappa_1.6.0-1build3_source.buildinfo