Format: 1.8
Date: Wed, 25 Jan 2023 13:03:05 +0100
Source: coq-gappa
Binary: libcoq-gappa
Built-For-Profiles: noudeb
Architecture: ppc64el
Version: 1.5.2-5
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-ppc64el-024.buildd>
Changed-By: Julien Puydt <jpuydt@debian.org>
Description:
 libcoq-gappa - Coq tactic to use Gappa for floating-point goals
Changes:
 coq-gappa (1.5.2-5) unstable; urgency=medium
 .
   * Change b-dep from libcoq-ocaml-dev to libcoq-core-ocaml-dev.
Checksums-Sha1:
 4d2326e53cb7f19b8b9fa3ed3ccc0ed0e5821d57 6977 coq-gappa_1.5.2-5_ppc64el.buildinfo
 b12ac17f458422c1a71407b0a4ecad2d7f4cc079 6888 libcoq-gappa-dbgsym_1.5.2-5_ppc64el.ddeb
 f6f1dba23c8050a29db92b058328846515d7f99b 601060 libcoq-gappa_1.5.2-5_ppc64el.deb
Checksums-Sha256:
 4f93d6939cf82c91aa8d9e26184135df247b5a5393d878907982a52526be52e5 6977 coq-gappa_1.5.2-5_ppc64el.buildinfo
 c132844edc04a9340b419afc910de1df932d7a66e6aeb7956b57b8ae7c6a85bc 6888 libcoq-gappa-dbgsym_1.5.2-5_ppc64el.ddeb
 1ca19e0356c92a6b5eac59b68ef1723007ea2df234ab0042b77f6fc0247ce872 601060 libcoq-gappa_1.5.2-5_ppc64el.deb
Files:
 8fa7eecb882c15df46489bc6add31ea5 6977 math optional coq-gappa_1.5.2-5_ppc64el.buildinfo
 362cb411422ef7ab9bccdfddbce5710f 6888 debug optional libcoq-gappa-dbgsym_1.5.2-5_ppc64el.ddeb
 64c59b8ce66a3bb5408bd05d7c679bf6 601060 math optional libcoq-gappa_1.5.2-5_ppc64el.deb