Package: libcoq-gappa
Architecture: amd64
Version: 1.5.5-2build2
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: 2124
Provides: libcoq-gappa-661r9
Depends: gappa, libcoq-flocq-ra3u0, libcoq-stdlib-dksn3
Filename: pool/universe/c/coq-gappa/libcoq-gappa_1.5.5-2build2_amd64.deb
Size: 597938
MD5sum: 1453cf0677b9add5d8fc5c31ba77467b
SHA1: b5ef0b21c9d5ac5b154731ddf5b128e7f139e2f5
SHA256: ac018dee0dd929f701c6f7f1c20898da9b6e78d64b01cc7b78beb2dfa4a397d6
SHA512: 72d91ef6f4d91b6491060805aa93eb885b2ac863b0c9604ff1b36f3100a54e68ce43f732b4ea0690ff6e246a7863e0935d4cfebb4345459f9fdad424213d2a6a
Homepage: https://gappa.gitlabpages.inria.fr
Description: Coq tactic to use Gappa for floating-point goals
Description-md5: d29401f049a277a5f2cc3ee885c0c926