Format: 1.8
Date: Sat, 17 Feb 2024 01:24:10 +0100
Source: coq-deriving
Binary: libcoq-deriving
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 0.2.0-1build2
Distribution: noble-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-024.buildd>
Changed-By: Gianfranco Costamagna <locutusofborg@debian.org>
Description:
 libcoq-deriving - deriving MathComp classes from inductive types
Changes:
 coq-deriving (0.2.0-1build2) noble; urgency=medium
 .
   * Rebuild against new OCAML ABIs.
Checksums-Sha1:
 5e0c89c7b56cbd4485b13d821c5eeed3e4433b2a 7694 coq-deriving_0.2.0-1build2_ppc64el.buildinfo
 97b08a490f7f35770a9626fcae21f1a13e0994a7 491254 libcoq-deriving_0.2.0-1build2_ppc64el.deb
Checksums-Sha256:
 65ffdd5711cadd1e84e693dcb4540f7436919cf81fa5436196cb24cd92bdac94 7694 coq-deriving_0.2.0-1build2_ppc64el.buildinfo
 71dec433b960cecd4c0f3a9011dea44bd9a04e5049340b2dfe6f87523d6c1164 491254 libcoq-deriving_0.2.0-1build2_ppc64el.deb
Files:
 162c61d20bea23ebbe916d3814081ebd 7694 ocaml optional coq-deriving_0.2.0-1build2_ppc64el.buildinfo
 e8d64417ea6e6ef454f07fb687b0cb98 491254 ocaml optional libcoq-deriving_0.2.0-1build2_ppc64el.deb