[ubuntu/plucky-proposed] coq-elpi 2.4.0-1build1 (Accepted)

[Matthias Klose]

coq-elpi (2.4.0-1build1) plucky; urgency=medium

  * No-change rebuild for coq ABI changes.

Date: Tue, 18 Feb 2025 21:04:34 +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-elpi/2.4.0-1build1
-------------- next part --------------
Format: 1.8
Date: Tue, 18 Feb 2025 21:04:34 +0100
Source: coq-elpi
Built-For-Profiles: noudeb
Architecture: source
Version: 2.4.0-1build1
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-elpi (2.4.0-1build1) plucky; urgency=medium
 .
   * No-change rebuild for coq ABI changes.
Checksums-Sha1:
 9e08a5815912b266c78a50085e21300925c335e6 2066 coq-elpi_2.4.0-1build1.dsc
 ba9c708af699c3365294f1437a5f22bac0861cec 3848 coq-elpi_2.4.0-1build1.debian.tar.xz
 1021303b85c7a1f759785d14fe3fe3fe059390cd 3819 coq-elpi_2.4.0-1build1_source.buildinfo
Checksums-Sha256:
 87435e235b51c53d469a519bce544347955ed45358d2dcb9732471fd9451d2ca 2066 coq-elpi_2.4.0-1build1.dsc
 08e204c8cb2ff545d4c56e1ddea08a36ddfe33cde16be5dd9245a7173e4f2514 3848 coq-elpi_2.4.0-1build1.debian.tar.xz
 914cb27e36e950650e70033f4cbc551303b8d72a786ec8da1e9d3be878534a8d 3819 coq-elpi_2.4.0-1build1_source.buildinfo
Files:
 21b74f97d7ac603ca3d78b3665697afd 2066 ocaml optional coq-elpi_2.4.0-1build1.dsc
 c1f15b63e7d0c02598a440ba02ad34d7 3848 ocaml optional coq-elpi_2.4.0-1build1.debian.tar.xz
 61be2409e750a1a4d113ed51c796b9c8 3819 ocaml optional coq-elpi_2.4.0-1build1_source.buildinfo