Package: gappa
Architecture: amd64
Version: 1.4.1-2
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: 1370
Depends: libc6 (>= 2.38), libgcc-s1 (>= 3.3.1), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6 (>= 3.1.3), libstdc++6 (>= 13.1), libjs-sphinxdoc (>= 7.2.2)
Filename: pool/universe/g/gappa/gappa_1.4.1-2_amd64.deb
Size: 424518
MD5sum: f5a5024e21c7611d8ae38ab08b28d0b0
SHA1: d8b8ad3652e1654f4439f20b900f4bfed23934e4
SHA256: c314d7528ebea29b32371026cc2749014682558e5f3164f9cf9efb5cf4c509e9
SHA512: 44ccaf20a8999bbfaef10fb577d9dcfff8c96587f0795707727162ac36a9f36f4da87255ddada7d00d67bcbf9dc8ebfbc2015d1c4b379cbb636f5bc7afdaeec7
Homepage: https://gappa.gitlabpages.inria.fr
Description: Automatic generation of proofs of arithmetic properties
Description-md5: 10e13686e16d7ffca6b0e98cacd6f716