Package - gappa
Primary informations
Download package: http://deb.debian.org/debian/pool/main/g/gappa/gappa_1.6.0-1_amd64.deb (Size: 441.5KiB)| Property | Value |
|---|---|
| Package | gappa |
| Version | 1.6.0-1 |
| Installed-Size | 1562 |
| Maintainer | Debian Math Team |
| Architecture | amd64 |
| Depends | libc6 (>= 2.38), libgcc-s1 (>= 3.0), libgmp10 (>= 2:6.3.0+dfsg), libmpfr6 (>= 3.1.3), libstdc++6 (>= 14), libjs-sphinxdoc (>= 8.1) |
| Description | Automatic generation of proofs of arithmetic properties |
| Description-md5 | 10e13686e16d7ffca6b0e98cacd6f716 |
| Homepage | https://gappa.gitlabpages.inria.fr |
| Section | math |
| Priority | optional |
| Filename | pool/main/g/gappa/gappa_1.6.0-1_amd64.deb |
| Size | 452108 |
| MD5sum | fa44e683cc8e5f79feabeb570e870ce5 |
| SHA256 | 3a5507037a470ce32e3cadcda55e957b2c15f68ae6a73900c076e1b6fe383d42 |
Files in package
- /usr/bin/gappa
- /usr/share/doc-base/gappa.gappa
- /usr/share/doc/gappa/changelog.Debian.gz
- /usr/share/doc/gappa/copyright
- /usr/share/doc/gappa/html/_images/gwhy-sqrt.png
- /usr/share/doc/gappa/html/_sources/arithmetic.rst.txt
- /usr/share/doc/gappa/html/_sources/bibliography.rst.txt
- /usr/share/doc/gappa/html/_sources/customizing.rst.txt
- /usr/share/doc/gappa/html/_sources/errors.rst.txt
- /usr/share/doc/gappa/html/_sources/examples.rst.txt
- /usr/share/doc/gappa/html/_sources/formalizing.rst.txt
- /usr/share/doc/gappa/html/_sources/genindex.rst.txt
- /usr/share/doc/gappa/html/_sources/index.rst.txt
- /usr/share/doc/gappa/html/_sources/invoking.rst.txt
- /usr/share/doc/gappa/html/_sources/language.rst.txt
- /usr/share/doc/gappa/html/_sources/theorems.rst.txt
- /usr/share/doc/gappa/html/_sources/tools.rst.txt
- /usr/share/doc/gappa/html/_static/alabaster.css
- /usr/share/doc/gappa/html/_static/basic.css
- /usr/share/doc/gappa/html/_static/custom.css
- /usr/share/doc/gappa/html/_static/doctools.js
- /usr/share/doc/gappa/html/_static/documentation_options.js
- /usr/share/doc/gappa/html/_static/file.png
- /usr/share/doc/gappa/html/_static/forkme_right_darkblue_121621.png
- /usr/share/doc/gappa/html/_static/language_data.js
- /usr/share/doc/gappa/html/_static/minus.png
- /usr/share/doc/gappa/html/_static/plus.png
- /usr/share/doc/gappa/html/_static/pygments.css
- /usr/share/doc/gappa/html/_static/searchtools.js
- /usr/share/doc/gappa/html/_static/sphinx_highlight.js
- /usr/share/doc/gappa/html/arithmetic.html
- /usr/share/doc/gappa/html/bibliography.html
- /usr/share/doc/gappa/html/customizing.html
- /usr/share/doc/gappa/html/errors.html
- /usr/share/doc/gappa/html/examples.html
- /usr/share/doc/gappa/html/formalizing.html
- /usr/share/doc/gappa/html/genindex.html
- /usr/share/doc/gappa/html/index.html
- /usr/share/doc/gappa/html/invoking.html
- /usr/share/doc/gappa/html/language.html
- /usr/share/doc/gappa/html/objects.inv
- /usr/share/doc/gappa/html/search.html
- /usr/share/doc/gappa/html/searchindex.js
- /usr/share/doc/gappa/html/theorems.html
- /usr/share/doc/gappa/html/tools.html
- /usr/share/man/man1/gappa.1.gz