[ubuntu/oracular-proposed] coq-gappa 1.5.5-2build2 (Accepted)

[Matthias Klose]

coq-gappa (1.5.5-2build2) oracular; urgency=medium

  * No-change rebuild for OCaml ABIs.

Date: Sat, 07 Sep 2024 19:20:17 +0200
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-2build2
-------------- next part --------------
Format: 1.8
Date: Sat, 07 Sep 2024 19:20:17 +0200
Source: coq-gappa
Built-For-Profiles: noudeb
Architecture: source
Version: 1.5.5-2build2
Distribution: oracular
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-2build2) oracular; urgency=medium
 .
   * No-change rebuild for OCaml ABIs.
Checksums-Sha1:
 fcfbc27975a3cddd70e340080e2c8e5fb6b3c1ca 2082 coq-gappa_1.5.5-2build2.dsc
 3288edbe79b481b806f6558c916a8958ad6b8ef9 2468 coq-gappa_1.5.5-2build2.debian.tar.xz
 bb577b918fa72df7f860d4b8fab1457e8905762e 5692 coq-gappa_1.5.5-2build2_source.buildinfo
Checksums-Sha256:
 9307350091fcbc16611b0f8ce2fa40d8dda3f035ffe1f9b0aa8f50801a10e6bc 2082 coq-gappa_1.5.5-2build2.dsc
 291092babbd1c9a9a03eb91f25c03cec4979685163d68886de683a73ee70f855 2468 coq-gappa_1.5.5-2build2.debian.tar.xz
 140a6478e75fb6fe12d039cf4035435ced269102083f82579d2fcafd379b57ce 5692 coq-gappa_1.5.5-2build2_source.buildinfo
Files:
 17cde9b7ac1f2c5253399824f1cca785 2082 math optional coq-gappa_1.5.5-2build2.dsc
 41a7d09d17049d24d9735e73b8d08f03 2468 math optional coq-gappa_1.5.5-2build2.debian.tar.xz
 9fee5088780c855e89d9a926176cb8b6 5692 math optional coq-gappa_1.5.5-2build2_source.buildinfo