deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: gappa, libcoq-flocq-yyu78, libcoq-stdlib-p29e7
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.
Homepage: https://gappa.gitlabpages.inria.fr
Installed-Size: '1259'
Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
Package: libcoq-gappa
Priority: optional
Provides: libcoq-gappa-umni0
Section: math
Source: coq-gappa (1.5.5-2)
Version: 1.5.5-2+b4
srcpkg_name: coq-gappa
srcpkg_version: 1.5.5-2