Package: libcoq-gappa
Architecture: amd64
Version: 1.5.4-1build3
Priority: optional
Section: universe/math
Source: coq-gappa
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 2088
Provides: libcoq-gappa-kish5
Depends: gappa, libcoq-flocq-40s48, libcoq-stdlib-eg0o0
Filename: pool/universe/c/coq-gappa/libcoq-gappa_1.5.4-1build3_amd64.deb
Size: 575602
MD5sum: a128c237d2192de0439483eacf03a4ad
SHA1: ee36737f0be86597e868e10239ea6b9c7fbd3ea6
SHA256: 33eb546903e0d6da88f9dba2c3ffe0773472d2cb8c2e0ba0a63d1ba59c28bfbd
SHA512: 99f5772f64679bc3041ea067d17cc07a1ed9df6caf7377cfefc006c6b3805402220dd99a86d4370a05aaf1bc01f1ea252a9b06a3025b9e669b2b9cdf55ad2b94
Homepage: https://gappa.gitlabpages.inria.fr
Description: Coq tactic to use Gappa for floating-point goals
Description-md5: d29401f049a277a5f2cc3ee885c0c926