Format: 1.8
Date: Wed, 25 Jan 2023 13:03:05 +0100
Source: coq-gappa
Binary: libcoq-gappa
Built-For-Profiles: noudeb
Architecture: armhf
Version: 1.5.2-5
Distribution: lunar-proposed
Urgency: medium
Maintainer: Launchpad Build Daemon <buildd@bos02-arm64-060.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:
 ea6d8f99b9bcb34d8370b162fd34868647d4fe24 6828 coq-gappa_1.5.2-5_armhf.buildinfo
 174c2c4cbe8a466df6d7b00e3bc4f78ca50df130 7472 libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb
 1d4a2a5e8f78363a58413f54f9c3b9ac2932fe83 599412 libcoq-gappa_1.5.2-5_armhf.deb
Checksums-Sha256:
 124418d36edb91d6c9446f631dc4cdba2ea5ca3204bfb3b99be93fc927a8f275 6828 coq-gappa_1.5.2-5_armhf.buildinfo
 e393ecb80ccc3a9e666e31c3d9cd070d8a33b8e8ce82d2325a7b9fe68759bb75 7472 libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb
 c6e6e8cd80664cb169654355a8248ff9fa25fd2ae1fc92c437e39d3876fa72a8 599412 libcoq-gappa_1.5.2-5_armhf.deb
Files:
 dad194c2d3560aca53caae31f067b717 6828 math optional coq-gappa_1.5.2-5_armhf.buildinfo
 90c9068ce3be97f485efbc2050d8ea82 7472 debug optional libcoq-gappa-dbgsym_1.5.2-5_armhf.ddeb
 aa83f8b9212e9c3902a985c3fc9123f3 599412 math optional libcoq-gappa_1.5.2-5_armhf.deb