[ubuntu/plucky-proposed] coq-gappa 1.5.5-2build3 (Accepted)

[Matthias Klose]

coq-gappa (1.5.5-2build3) plucky; urgency=medium

  * No-change rebuild for OCaml ABI changes.

Date: Thu, 21 Nov 2024 08:06:25 +0100
Changed-By: Matthias Klose <doko at ubuntu.com>
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
https://launchpad.net/ubuntu/+source/coq-gappa/1.5.5-2build3
-------------- next part --------------
Format: 1.8
Date: Thu, 21 Nov 2024 08:06:25 +0100
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.5-2build3
Distribution: plucky
Urgency: medium
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint at lists.debian.org>
Changed-By: Matthias Klose <doko at ubuntu.com>
Changes:
 coq-gappa (1.5.5-2build3) plucky; urgency=medium
 .
   * No-change rebuild for OCaml ABI changes.
Checksums-Sha1:
 cbc73c1641cfed116543970828135b9d17206681 2082 coq-gappa_1.5.5-2build3.dsc
 4a8cb13840bdb8dfffa866d17652c8f3f7b8fcfb 2496 coq-gappa_1.5.5-2build3.debian.tar.xz
 af95b7615fd3e2a46bb92e0a0a63fd034823deea 3817 coq-gappa_1.5.5-2build3_source.buildinfo
Checksums-Sha256:
 09b4e9ffa0b435759629716b04fae4e3c9546064b19cd7e5ad9b56ade942eea2 2082 coq-gappa_1.5.5-2build3.dsc
 3aae4931ff214bb6c57947daf8c1bcf15cfb4c8ca0452e43f8b7e68dc55bdb21 2496 coq-gappa_1.5.5-2build3.debian.tar.xz
 2cfb95c63705a3a6d682bfc31040404b88c52bca946737b04f19760df0903176 3817 coq-gappa_1.5.5-2build3_source.buildinfo
Files:
 c44f981cd94eef84655c02d179422f76 2082 math optional coq-gappa_1.5.5-2build3.dsc
 b0b17bc58c907187d79d504ad1e85730 2496 math optional coq-gappa_1.5.5-2build3.debian.tar.xz
 d7c1a9b016aa67e42b1a29eacb67d2cf 3817 math optional coq-gappa_1.5.5-2build3_source.buildinfo