Format: 1.8
Date: Sun, 27 Nov 2022 08:37:50 +0100
Source: coq-elpi
Binary: libcoq-elpi
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.16.0-1build1
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-013.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-elpi - Coq plugin embedding Elpi
Changes:
 coq-elpi (1.16.0-1build1) lunar; urgency=medium
 .
   * Rebuild against new OCAML ABI.
Checksums-Sha1:
 0737798444193f49288c5ea4c24aea6fa69162c5 7439 coq-elpi_1.16.0-1build1_ppc64el.buildinfo
 0a9106ab9768e11ce2f8b78939e9489f21660af9 83968 libcoq-elpi-dbgsym_1.16.0-1build1_ppc64el.ddeb
 a8b4206cdda9c879ce01a0ac0ac9f78466cfc984 3082260 libcoq-elpi_1.16.0-1build1_ppc64el.deb
Checksums-Sha256:
 3cc3d8cc8dc829b81003a7cb5b01ffdae5a92f77b7d7a687453e7a6d6e13e45b 7439 coq-elpi_1.16.0-1build1_ppc64el.buildinfo
 b88e26b5a5a92e6b8d7c3fb77477aa8ef7660ddd3927c33c45d11d422712cc2d 83968 libcoq-elpi-dbgsym_1.16.0-1build1_ppc64el.ddeb
 ffdb5df4104df43df6bd142780af16367a5da609dda2efe1ac2775024b6a4964 3082260 libcoq-elpi_1.16.0-1build1_ppc64el.deb
Files:
 e90e39c2128041904eb902cccf7318a2 7439 ocaml optional coq-elpi_1.16.0-1build1_ppc64el.buildinfo
 ebf44091d4ba6f84521730545ef55290 83968 debug optional libcoq-elpi-dbgsym_1.16.0-1build1_ppc64el.ddeb
 0d5c802a41e526838553f3d12336d434 3082260 ocaml optional libcoq-elpi_1.16.0-1build1_ppc64el.deb