Package: gappa
Architecture: amd64
Version: 1.4.1-1
Priority: optional
Section: universe/math
Origin: Ubuntu
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian Math Team <team+math@tracker.debian.org>
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 1335
Depends: libc6 (>= 2.34), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.2.1+dfsg), libmpfr6 (>= 3.1.3), libstdc++6 (>= 11), libjs-sphinxdoc (>= 4.3)
Filename: pool/universe/g/gappa/gappa_1.4.1-1_amd64.deb
Size: 421332
MD5sum: 4478ac5c94faf5fcd76cb0cb29436a84
SHA1: 6a6416a96d498a3f4b4908a43df6c699c0814f10
SHA256: 64dbe2057e135508db0aa1b936fbeec8c27c1212dadebb2142378fac708b8e97
SHA512: 92ea09c98314fc41ddaf29e5e9435a235848fdd5d375395f7f43c877e09478fa4cbf0e48c581d7f9333265785718374b95ad59df167feee5a75ed26f6ce9bda0
Homepage: https://gappa.gitlabpages.inria.fr
Description: Automatic generation of proofs of arithmetic properties
Description-md5: 10e13686e16d7ffca6b0e98cacd6f716