gappa (1.6.0-1build1)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://ports.ubuntu.com
- Codename
- stonking
- Component
- universe
- Source
- none
- Architecture
- s390x
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 1.4 kB
- Size expected
- 430.2 kB
- Size actual
- 430.2 kB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Automatic generation of proofs of arithmetic properties
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 12757122…786fcfc6 | |
| SHA-1 | f78ff27b…1ed07048 | |
| SHA-256 | 318230e0…dac9251b | |
| SHA-512 | ff8568e3…ef45167c |
Contents
Files and directories included
. usr usr/bin usr/bin/gappa usr/share usr/share/doc usr/share/doc/gappa usr/share/doc/gappa/changelog.Debian.gz usr/share/doc/gappa/copyright usr/share/doc/gappa/html usr/share/doc/gappa/html/_images usr/share/doc/gappa/html/_images/gwhy-sqrt.png usr/share/doc/gappa/html/_sources 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 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/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/minus.png usr/share/doc/gappa/html/_static/plus.png usr/share/doc/gappa/html/_static/pygments.css 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/doc-base usr/share/doc-base/gappa.gappa usr/share/man usr/share/man/man1 usr/share/man/man1/gappa.1.gz usr/share/doc/gappa/html/_static/doctools.js usr/share/doc/gappa/html/_static/language_data.js usr/share/doc/gappa/html/_static/searchtools.js usr/share/doc/gappa/html/_static/sphinx_highlight.js