Format: 1.8
Date: Sat, 17 Feb 2024 01:24:20 +0100
Source: coq-elpi
Binary: libcoq-elpi
Built-For-Profiles: noudeb
Architecture: s390x
Version: 1.19.3-2build1
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-s390x-008.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:
 c5c58350387c54d2a56c345e8fad8de58d06e46c 7700 coq-elpi_1.19.3-2build1_s390x.buildinfo
 f3c51ad2a3759279008e20737afec603101b260a 72138 libcoq-elpi-dbgsym_1.19.3-2build1_s390x.ddeb
 3d95c7ec6b5a387219a337f32792f95b080021fc 3254982 libcoq-elpi_1.19.3-2build1_s390x.deb
Checksums-Sha256:
 ebce6642943cb591eb011282ca6a7542c9c1904496fdaf9ca7dc9c8f198f311a 7700 coq-elpi_1.19.3-2build1_s390x.buildinfo
 8a5c009cf338fbd736883dba4679f5a2883c5f0fa7295e50bdafd77530182ac5 72138 libcoq-elpi-dbgsym_1.19.3-2build1_s390x.ddeb
 b3232b1c54404dec6ab0684ac7afae47fe0628e5373867e07857d3bc9269edc3 3254982 libcoq-elpi_1.19.3-2build1_s390x.deb
Files:
 8ff08024c9c92a7e730b8c36f8eae2a2 7700 ocaml optional coq-elpi_1.19.3-2build1_s390x.buildinfo
 3f41f017bae2bdfe9021dbecec30ca41 72138 debug optional libcoq-elpi-dbgsym_1.19.3-2build1_s390x.ddeb
 a20840d0c32942fda93a114449123411 3254982 ocaml optional libcoq-elpi_1.19.3-2build1_s390x.deb