deb_control_files:
- control
- md5sums
deb_fields:
Architecture: amd64
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6
(>= 3.1.3), libstdc++6 (>= 13.1), libjs-sphinxdoc (>= 7.2.2)
Description: |-
Automatic generation of proofs of arithmetic properties
Tool to help verify and prove properties on numerical
programs dealing with either fixed-point or floating-point
arithmetic.
Homepage: https://gappa.gitlabpages.inria.fr
Installed-Size: '1506'
Maintainer: Debian Math Team <team+math@tracker.debian.org>
Package: gappa
Priority: optional
Section: math
Version: 1.4.1-2
srcpkg_name: gappa
srcpkg_version: 1.4.1-2