why3-doc-html (1.8.2-1)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-forky
- Repository
- https://deb.debian.org/debian
- Codename
- forky
- Component
- main
- Source
- why3
- Architecture
- s390x
- Section
- math
- Priority
- optional
- Maintainer
- Debian OCaml Maintainers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 3.4 kB
- Size expected
- 1.3 MB
- Size actual
- 1.3 MB
- Size match
Dependencies
Required package dependencies
Description
HTML Documentation of the why3 verification platform
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | d497f276…98f3dbcb | |
| SHA-1 | c7680cb9…0e95702d | |
| SHA-256 | f37ee95d…58940fe8 | |
| SHA-512 | 36f6931b…66c4fe42 |
Contents
Files and directories included
. usr usr/share usr/share/doc usr/share/doc/why3-doc-html usr/share/doc/why3-doc-html/NEWS.Debian.gz usr/share/doc/why3-doc-html/changelog.Debian.gz usr/share/doc/why3-doc-html/changelog.gz usr/share/doc/why3-doc-html/copyright usr/share/doc/why3-doc-html/html usr/share/doc/why3-doc-html/html/.buildinfo usr/share/doc/why3-doc-html/html/_images usr/share/doc/why3-doc-html/html/_images/ce_example0_p1.png usr/share/doc/why3-doc-html/html/_images/ce_example0_p2.png usr/share/doc/why3-doc-html/html/_images/coqide.png usr/share/doc/why3-doc-html/html/_images/graphviz-162219df9c5ca3355c3a7e9e021b58638c5f05f9.png usr/share/doc/why3-doc-html/html/_images/graphviz-162219df9c5ca3355c3a7e9e021b58638c5f05f9.png.map usr/share/doc/why3-doc-html/html/_images/graphviz-1c142a5dc731fc078810f68bea10ec96ca9d34dc.png usr/share/doc/why3-doc-html/html/_images/graphviz-1c142a5dc731fc078810f68bea10ec96ca9d34dc.png.map usr/share/doc/why3-doc-html/html/_images/graphviz-27a01ce6d69a071a570e866dca5e6e679b41ba97.png usr/share/doc/why3-doc-html/html/_images/graphviz-27a01ce6d69a071a570e866dca5e6e679b41ba97.png.map usr/share/doc/why3-doc-html/html/_images/graphviz-5d3e3ed4271b8af278956a51911cc10f55fd79e8.png usr/share/doc/why3-doc-html/html/_images/graphviz-5d3e3ed4271b8af278956a51911cc10f55fd79e8.png.map usr/share/doc/why3-doc-html/html/_images/graphviz-a7bee48d9729049ecf3ce4317fe812cba7ca6f68.png usr/share/doc/why3-doc-html/html/_images/graphviz-a7bee48d9729049ecf3ce4317fe812cba7ca6f68.png.map usr/share/doc/why3-doc-html/html/_images/graphviz-be42a179662628ec07c415f6a3707b01aa6bdf59.png usr/share/doc/why3-doc-html/html/_images/graphviz-be42a179662628ec07c415f6a3707b01aa6bdf59.png.map usr/share/doc/why3-doc-html/html/_images/graphviz-d792184dbd5bb66505966eda4d65f18f7e43618f.png usr/share/doc/why3-doc-html/html/_images/graphviz-d792184dbd5bb66505966eda4d65f18f7e43618f.png.map usr/share/doc/why3-doc-html/html/_images/graphviz-ec58152289ae3ff8953154ae6c82768022167baf.png usr/share/doc/why3-doc-html/html/_images/graphviz-ec58152289ae3ff8953154ae6c82768022167baf.png.map usr/share/doc/why3-doc-html/html/_images/gui-1.png usr/share/doc/why3-doc-html/html/_images/gui-2.png usr/share/doc/why3-doc-html/html/_images/gui-3.png usr/share/doc/why3-doc-html/html/_images/gui-4.png usr/share/doc/why3-doc-html/html/_images/gui-5.png usr/share/doc/why3-doc-html/html/_images/gui-infer.png usr/share/doc/why3-doc-html/html/_images/hello_proof.png usr/share/doc/why3-doc-html/html/_sources usr/share/doc/why3-doc-html/html/_sources/api.rst.txt usr/share/doc/why3-doc-html/html/_sources/changes.rst.txt usr/share/doc/why3-doc-html/html/_sources/exec.rst.txt usr/share/doc/why3-doc-html/html/_sources/foreword.rst.txt usr/share/doc/why3-doc-html/html/_sources/genindex.rst.txt usr/share/doc/why3-doc-html/html/_sources/index.rst.txt usr/share/doc/why3-doc-html/html/_sources/input_formats.rst.txt usr/share/doc/why3-doc-html/html/_sources/install.rst.txt usr/share/doc/why3-doc-html/html/_sources/itp.rst.txt usr/share/doc/why3-doc-html/html/_sources/manpages.rst.txt usr/share/doc/why3-doc-html/html/_sources/starting.rst.txt usr/share/doc/why3-doc-html/html/_sources/syntaxref.rst.txt usr/share/doc/why3-doc-html/html/_sources/technical.rst.txt usr/share/doc/why3-doc-html/html/_sources/vcgen.rst.txt usr/share/doc/why3-doc-html/html/_sources/whyml.rst.txt usr/share/doc/why3-doc-html/html/_sources/zebibliography.rst.txt usr/share/doc/why3-doc-html/html/_static usr/share/doc/why3-doc-html/html/_static/alabaster.css usr/share/doc/why3-doc-html/html/_static/basic.css usr/share/doc/why3-doc-html/html/_static/custom.css usr/share/doc/why3-doc-html/html/_static/documentation_options.js usr/share/doc/why3-doc-html/html/_static/file.png usr/share/doc/why3-doc-html/html/_static/forkme_right_darkblue_121621.png usr/share/doc/why3-doc-html/html/_static/graphviz.css usr/share/doc/why3-doc-html/html/_static/minus.png usr/share/doc/why3-doc-html/html/_static/plus.png usr/share/doc/why3-doc-html/html/_static/pygments.css usr/share/doc/why3-doc-html/html/_static/sphinx_highlight.js usr/share/doc/why3-doc-html/html/api.html usr/share/doc/why3-doc-html/html/changes.html usr/share/doc/why3-doc-html/html/exec.html usr/share/doc/why3-doc-html/html/foreword.html usr/share/doc/why3-doc-html/html/genindex.html usr/share/doc/why3-doc-html/html/index.html usr/share/doc/why3-doc-html/html/input_formats.html usr/share/doc/why3-doc-html/html/install.html usr/share/doc/why3-doc-html/html/itp.html usr/share/doc/why3-doc-html/html/manpages.html usr/share/doc/why3-doc-html/html/objects.inv usr/share/doc/why3-doc-html/html/search.html usr/share/doc/why3-doc-html/html/searchindex.js usr/share/doc/why3-doc-html/html/starting.html usr/share/doc/why3-doc-html/html/syntaxref.html usr/share/doc/why3-doc-html/html/technical.html usr/share/doc/why3-doc-html/html/vcgen.html usr/share/doc/why3-doc-html/html/whyml.html usr/share/doc/why3-doc-html/html/zebibliography.html usr/share/doc-base usr/share/doc-base/why3-doc-html.why3-manual-html usr/share/doc/why3-doc-html/html/_static/doctools.js usr/share/doc/why3-doc-html/html/_static/jquery.js usr/share/doc/why3-doc-html/html/_static/language_data.js usr/share/doc/why3-doc-html/html/_static/searchtools.js usr/share/doc/why3-doc-html/html/_static/underscore.js