Package: gappa
Version: 1.8.2-1
Architecture: arm64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Installed-Size: 1400
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6 (>= 3.1.3), libstdc++6 (>= 14), libjs-sphinxdoc (>= 9.0)
Section: math
Priority: optional
Homepage: https://gappa.gitlabpages.inria.fr
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.
