Package: libcoq-gappa
Source: coq-gappa
Version: 1.7.0-1build5
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Installed-Size: 1380
Depends: gappa, libcoq-flocq-k4342, libcoq-stdlib-yod19
Provides: libcoq-gappa-9ohl3
Section: math
Priority: optional
Homepage: https://gappa.gitlabpages.inria.fr
Description: Coq tactic to use Gappa for floating-point goals
 This package provides a Coq tactic to discharge goals about
 floating-point arithmetic and round-off errors to Gappa.
 .
 Gappa is a prover for numerical properties.
 .
 Coq is a proof assistant for higher-order logic.
