Format: 1.8
Date: Sat, 17 Feb 2024 01:24:20 +0100
Source: coq-elpi
Binary: libcoq-elpi
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.19.3-2build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos01-ppc64el-019.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-elpi - Coq plugin embedding Elpi
Changes:
 coq-elpi (1.19.3-2build1) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 ec74e7861e88c0dbb7a557821aafa77424abe6a0 7870 coq-elpi_1.19.3-2build1_ppc64el.buildinfo
 1d78cf0db85a4b332f82e9cc14131ab12b80fd93 92726 libcoq-elpi-dbgsym_1.19.3-2build1_ppc64el.ddeb
 06c92e2d525e14c47b0e48a422199281765786ba 3242424 libcoq-elpi_1.19.3-2build1_ppc64el.deb
Checksums-Sha256:
 de8090e92c1c7182214139ba947f952c7ed9156ce793c5ca1615c490280131c9 7870 coq-elpi_1.19.3-2build1_ppc64el.buildinfo
 64893ce7b42ab0f095b7022fd46f628304612836fc2e86c9e113c181ecf6367e 92726 libcoq-elpi-dbgsym_1.19.3-2build1_ppc64el.ddeb
 1c28311dcc655823a3ed4926c378ef2a277792a6328e884de3756e695eaa9222 3242424 libcoq-elpi_1.19.3-2build1_ppc64el.deb
Files:
 fbe58b28581a6901d3170c9a5c4d33a6 7870 ocaml optional coq-elpi_1.19.3-2build1_ppc64el.buildinfo
 aba8d48d16230c7635c83f758fadf5ca 92726 debug optional libcoq-elpi-dbgsym_1.19.3-2build1_ppc64el.ddeb
 014e7be7f90d052f7b7986b2bd473a37 3242424 ocaml optional libcoq-elpi_1.19.3-2build1_ppc64el.deb