coq-doc-html (8.20.0-2)
Details
Core information at a glance
- Distribution
- debian
- Origin
- debian-sid
- Repository
- https://deb.debian.org/debian
- Codename
- sid
- Component
- non-free
- Source
- coq-doc
- Architecture
- ppc64el
- Section
- non-free/doc
- Priority
- optional
- Maintainer
- Debian OCaml Maintainers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 22.3 kB
- Size expected
- 1.7 MB
- Size actual
- 1.7 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
documentation for Coq in html format
Tags
Package classification tags
devel::doc
made-of::html
role::documentation
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | c6fd51a5…9f33ff5c | |
| SHA-1 | f042ffb7…f06544b7 | |
| SHA-256 | 7c7ebc7d…4a3d0f6e | |
| SHA-512 | d48899e1…867a616a |
Contents
Files and directories included
. usr usr/share usr/share/doc usr/share/doc/coq-doc-html usr/share/doc/coq-doc-html/changelog.Debian.gz usr/share/doc/coq-doc-html/copyright usr/share/doc/coq-doc-html/refman usr/share/doc/coq-doc-html/refman/_images usr/share/doc/coq-doc-html/refman/_images/async-mode.png usr/share/doc/coq-doc-html/refman/_images/coqide-queries.png usr/share/doc/coq-doc-html/refman/_images/coqide.png usr/share/doc/coq-doc-html/refman/_images/debugger.png usr/share/doc/coq-doc-html/refman/_images/diffs-coqide-compacted.png usr/share/doc/coq-doc-html/refman/_images/diffs-coqide-multigoal.png usr/share/doc/coq-doc-html/refman/_images/diffs-coqide-on.png usr/share/doc/coq-doc-html/refman/_images/diffs-coqide-removed.png usr/share/doc/coq-doc-html/refman/_images/diffs-coqtop-on3.png usr/share/doc/coq-doc-html/refman/_images/diffs-error-message.png usr/share/doc/coq-doc-html/refman/_images/diffs-show-proof.png usr/share/doc/coq-doc-html/refman/_sources usr/share/doc/coq-doc-html/refman/_sources/addendum usr/share/doc/coq-doc-html/refman/_sources/addendum/canonical-structures.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/extended-pattern-matching.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/extraction.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/generalized-rewriting.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/implicit-coercions.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/micromega.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/miscellaneous-extensions.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/nsatz.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/parallel-proof-processing.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/program.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/rewrite-rules.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/ring.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/sprop.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/type-classes.rst.txt usr/share/doc/coq-doc-html/refman/_sources/addendum/universe-polymorphism.rst.txt usr/share/doc/coq-doc-html/refman/_sources/appendix usr/share/doc/coq-doc-html/refman/_sources/appendix/history-and-changes usr/share/doc/coq-doc-html/refman/_sources/appendix/history-and-changes/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/appendix/indexes usr/share/doc/coq-doc-html/refman/_sources/appendix/indexes/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/changes.rst.txt usr/share/doc/coq-doc-html/refman/_sources/coq-attrindex.rst.txt usr/share/doc/coq-doc-html/refman/_sources/coq-cmdindex.rst.txt usr/share/doc/coq-doc-html/refman/_sources/coq-exnindex.rst.txt usr/share/doc/coq-doc-html/refman/_sources/coq-optindex.rst.txt usr/share/doc/coq-doc-html/refman/_sources/coq-tacindex.rst.txt usr/share/doc/coq-doc-html/refman/_sources/genindex.rst.txt usr/share/doc/coq-doc-html/refman/_sources/history.rst.txt usr/share/doc/coq-doc-html/refman/_sources/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language usr/share/doc/coq-doc-html/refman/_sources/language/cic.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/coq-library.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core usr/share/doc/coq-doc-html/refman/_sources/language/core/assumptions.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/basic.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/coinductive.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/conversion.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/definitions.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/inductive.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/modules.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/primitive.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/records.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/sections.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/sorts.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/core/variants.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/extensions usr/share/doc/coq-doc-html/refman/_sources/language/extensions/arguments-command.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/extensions/canonical.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/extensions/evars.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/extensions/implicit-arguments.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/extensions/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/extensions/match.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/gallina-extensions.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/gallina-specification-language.rst.txt usr/share/doc/coq-doc-html/refman/_sources/language/module-system.rst.txt usr/share/doc/coq-doc-html/refman/_sources/license.rst.txt usr/share/doc/coq-doc-html/refman/_sources/practical-tools usr/share/doc/coq-doc-html/refman/_sources/practical-tools/coq-commands.rst.txt usr/share/doc/coq-doc-html/refman/_sources/practical-tools/coqide.rst.txt usr/share/doc/coq-doc-html/refman/_sources/practical-tools/utilities.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proof-engine usr/share/doc/coq-doc-html/refman/_sources/proof-engine/ltac.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proof-engine/ltac2.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proof-engine/proof-handling.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proof-engine/ssreflect-proof-language.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proof-engine/tactics.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proof-engine/vernacular-commands.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs usr/share/doc/coq-doc-html/refman/_sources/proofs/automatic-tactics usr/share/doc/coq-doc-html/refman/_sources/proofs/automatic-tactics/auto.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/automatic-tactics/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/automatic-tactics/logic.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/creating-tactics usr/share/doc/coq-doc-html/refman/_sources/proofs/creating-tactics/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/writing-proofs usr/share/doc/coq-doc-html/refman/_sources/proofs/writing-proofs/equality.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/writing-proofs/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/writing-proofs/proof-mode.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/writing-proofs/reasoning-inductives.rst.txt usr/share/doc/coq-doc-html/refman/_sources/proofs/writing-proofs/rewriting.rst.txt usr/share/doc/coq-doc-html/refman/_sources/std-glossindex.rst.txt usr/share/doc/coq-doc-html/refman/_sources/user-extensions usr/share/doc/coq-doc-html/refman/_sources/user-extensions/proof-schemes.rst.txt usr/share/doc/coq-doc-html/refman/_sources/user-extensions/syntax-extensions.rst.txt usr/share/doc/coq-doc-html/refman/_sources/using usr/share/doc/coq-doc-html/refman/_sources/using/libraries usr/share/doc/coq-doc-html/refman/_sources/using/libraries/funind.rst.txt usr/share/doc/coq-doc-html/refman/_sources/using/libraries/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/using/libraries/writing.rst.txt usr/share/doc/coq-doc-html/refman/_sources/using/tools usr/share/doc/coq-doc-html/refman/_sources/using/tools/coqdoc.rst.txt usr/share/doc/coq-doc-html/refman/_sources/using/tools/index.rst.txt usr/share/doc/coq-doc-html/refman/_sources/zebibliography.rst.txt usr/share/doc/coq-doc-html/refman/_static usr/share/doc/coq-doc-html/refman/_static/CoqNotations.ttf.gz usr/share/doc/coq-doc-html/refman/_static/_sphinx_javascript_frameworks_compat.js usr/share/doc/coq-doc-html/refman/_static/ansi-dark.css usr/share/doc/coq-doc-html/refman/_static/ansi.css usr/share/doc/coq-doc-html/refman/_static/async-mode.png usr/share/doc/coq-doc-html/refman/_static/basic.css usr/share/doc/coq-doc-html/refman/_static/coqdoc.css usr/share/doc/coq-doc-html/refman/_static/coqide-queries.png usr/share/doc/coq-doc-html/refman/_static/coqide.png usr/share/doc/coq-doc-html/refman/_static/coqnotations.sty usr/share/doc/coq-doc-html/refman/_static/css usr/share/doc/coq-doc-html/refman/_static/debugger.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqide-compacted.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqide-multigoal.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqide-on.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqide-removed.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqtop-compacted.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqtop-multigoal.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqtop-on.png usr/share/doc/coq-doc-html/refman/_static/diffs-coqtop-on3.png usr/share/doc/coq-doc-html/refman/_static/diffs-error-message.png usr/share/doc/coq-doc-html/refman/_static/diffs-show-proof.png usr/share/doc/coq-doc-html/refman/_static/documentation_options.js usr/share/doc/coq-doc-html/refman/_static/file.png usr/share/doc/coq-doc-html/refman/_static/fonts usr/share/doc/coq-doc-html/refman/_static/js usr/share/doc/coq-doc-html/refman/_static/js/versions.js usr/share/doc/coq-doc-html/refman/_static/minus.png usr/share/doc/coq-doc-html/refman/_static/notations.css usr/share/doc/coq-doc-html/refman/_static/notations.js usr/share/doc/coq-doc-html/refman/_static/plus.png usr/share/doc/coq-doc-html/refman/_static/pre-text.css usr/share/doc/coq-doc-html/refman/_static/pygments.css usr/share/doc/coq-doc-html/refman/addendum usr/share/doc/coq-doc-html/refman/addendum/canonical-structures.html usr/share/doc/coq-doc-html/refman/addendum/extended-pattern-matching.html usr/share/doc/coq-doc-html/refman/addendum/extraction.html usr/share/doc/coq-doc-html/refman/addendum/generalized-rewriting.html usr/share/doc/coq-doc-html/refman/addendum/implicit-coercions.html usr/share/doc/coq-doc-html/refman/addendum/micromega.html usr/share/doc/coq-doc-html/refman/addendum/miscellaneous-extensions.html usr/share/doc/coq-doc-html/refman/addendum/nsatz.html usr/share/doc/coq-doc-html/refman/addendum/parallel-proof-processing.html usr/share/doc/coq-doc-html/refman/addendum/program.html usr/share/doc/coq-doc-html/refman/addendum/rewrite-rules.html usr/share/doc/coq-doc-html/refman/addendum/ring.html usr/share/doc/coq-doc-html/refman/addendum/sprop.html usr/share/doc/coq-doc-html/refman/addendum/type-classes.html usr/share/doc/coq-doc-html/refman/addendum/universe-polymorphism.html usr/share/doc/coq-doc-html/refman/appendix usr/share/doc/coq-doc-html/refman/appendix/history-and-changes usr/share/doc/coq-doc-html/refman/appendix/history-and-changes/index.html usr/share/doc/coq-doc-html/refman/appendix/indexes usr/share/doc/coq-doc-html/refman/appendix/indexes/index.html usr/share/doc/coq-doc-html/refman/changes.html usr/share/doc/coq-doc-html/refman/coq-attrindex.html usr/share/doc/coq-doc-html/refman/coq-cmdindex.html usr/share/doc/coq-doc-html/refman/coq-exnindex.html usr/share/doc/coq-doc-html/refman/coq-optindex.html usr/share/doc/coq-doc-html/refman/coq-tacindex.html usr/share/doc/coq-doc-html/refman/coq-thmindex.html usr/share/doc/coq-doc-html/refman/genindex.html usr/share/doc/coq-doc-html/refman/history.html usr/share/doc/coq-doc-html/refman/index.html usr/share/doc/coq-doc-html/refman/language usr/share/doc/coq-doc-html/refman/language/cic.html usr/share/doc/coq-doc-html/refman/language/coq-library.html usr/share/doc/coq-doc-html/refman/language/core usr/share/doc/coq-doc-html/refman/language/core/assumptions.html usr/share/doc/coq-doc-html/refman/language/core/basic.html usr/share/doc/coq-doc-html/refman/language/core/coinductive.html usr/share/doc/coq-doc-html/refman/language/core/conversion.html usr/share/doc/coq-doc-html/refman/language/core/definitions.html usr/share/doc/coq-doc-html/refman/language/core/index.html usr/share/doc/coq-doc-html/refman/language/core/inductive.html usr/share/doc/coq-doc-html/refman/language/core/modules.html usr/share/doc/coq-doc-html/refman/language/core/primitive.html usr/share/doc/coq-doc-html/refman/language/core/records.html usr/share/doc/coq-doc-html/refman/language/core/sections.html usr/share/doc/coq-doc-html/refman/language/core/sorts.html usr/share/doc/coq-doc-html/refman/language/core/variants.html usr/share/doc/coq-doc-html/refman/language/extensions usr/share/doc/coq-doc-html/refman/language/extensions/arguments-command.html usr/share/doc/coq-doc-html/refman/language/extensions/canonical.html usr/share/doc/coq-doc-html/refman/language/extensions/evars.html usr/share/doc/coq-doc-html/refman/language/extensions/implicit-arguments.html usr/share/doc/coq-doc-html/refman/language/extensions/index.html usr/share/doc/coq-doc-html/refman/language/extensions/match.html usr/share/doc/coq-doc-html/refman/language/gallina-extensions.html usr/share/doc/coq-doc-html/refman/language/gallina-specification-language.html usr/share/doc/coq-doc-html/refman/language/module-system.html usr/share/doc/coq-doc-html/refman/license.html usr/share/doc/coq-doc-html/refman/objects.inv usr/share/doc/coq-doc-html/refman/practical-tools usr/share/doc/coq-doc-html/refman/practical-tools/coq-commands.html usr/share/doc/coq-doc-html/refman/practical-tools/coqide.html usr/share/doc/coq-doc-html/refman/practical-tools/utilities.html usr/share/doc/coq-doc-html/refman/proof-engine usr/share/doc/coq-doc-html/refman/proof-engine/ltac.html usr/share/doc/coq-doc-html/refman/proof-engine/ltac2.html usr/share/doc/coq-doc-html/refman/proof-engine/proof-handling.html usr/share/doc/coq-doc-html/refman/proof-engine/ssreflect-proof-language.html usr/share/doc/coq-doc-html/refman/proof-engine/tactics.html usr/share/doc/coq-doc-html/refman/proof-engine/vernacular-commands.html usr/share/doc/coq-doc-html/refman/proofs usr/share/doc/coq-doc-html/refman/proofs/automatic-tactics usr/share/doc/coq-doc-html/refman/proofs/automatic-tactics/auto.html usr/share/doc/coq-doc-html/refman/proofs/automatic-tactics/index.html usr/share/doc/coq-doc-html/refman/proofs/automatic-tactics/logic.html usr/share/doc/coq-doc-html/refman/proofs/creating-tactics usr/share/doc/coq-doc-html/refman/proofs/creating-tactics/index.html usr/share/doc/coq-doc-html/refman/proofs/writing-proofs usr/share/doc/coq-doc-html/refman/proofs/writing-proofs/equality.html usr/share/doc/coq-doc-html/refman/proofs/writing-proofs/index.html usr/share/doc/coq-doc-html/refman/proofs/writing-proofs/proof-mode.html usr/share/doc/coq-doc-html/refman/proofs/writing-proofs/reasoning-inductives.html usr/share/doc/coq-doc-html/refman/proofs/writing-proofs/rewriting.html usr/share/doc/coq-doc-html/refman/search.html usr/share/doc/coq-doc-html/refman/searchindex.js usr/share/doc/coq-doc-html/refman/std-glossindex.html usr/share/doc/coq-doc-html/refman/user-extensions usr/share/doc/coq-doc-html/refman/user-extensions/proof-schemes.html usr/share/doc/coq-doc-html/refman/user-extensions/syntax-extensions.html usr/share/doc/coq-doc-html/refman/using usr/share/doc/coq-doc-html/refman/using/libraries usr/share/doc/coq-doc-html/refman/using/libraries/funind.html usr/share/doc/coq-doc-html/refman/using/libraries/index.html usr/share/doc/coq-doc-html/refman/using/libraries/writing.html usr/share/doc/coq-doc-html/refman/using/tools usr/share/doc/coq-doc-html/refman/using/tools/coqdoc.html usr/share/doc/coq-doc-html/refman/using/tools/index.html usr/share/doc/coq-doc-html/refman/zebibliography.html usr/share/doc-base usr/share/doc-base/coq-doc-html.coq-manual-html usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/coq-doc-html usr/share/doc/coq-doc-html/refman/_static/css/badge_only.css usr/share/doc/coq-doc-html/refman/_static/css/theme.css usr/share/doc/coq-doc-html/refman/_static/doctools.js usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-Bold.ttf usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-Bold.woff2 usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-BoldItalic.ttf usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-BoldItalic.woff2 usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-Italic.ttf usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-Italic.woff2 usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-Regular.ttf usr/share/doc/coq-doc-html/refman/_static/fonts/Lato-Regular.woff2 usr/share/doc/coq-doc-html/refman/_static/fonts/RobotoSlab-Bold.woff2 usr/share/doc/coq-doc-html/refman/_static/fonts/RobotoSlab-Regular.woff2 usr/share/doc/coq-doc-html/refman/_static/fonts/fontawesome-webfont.eot usr/share/doc/coq-doc-html/refman/_static/fonts/fontawesome-webfont.svg usr/share/doc/coq-doc-html/refman/_static/fonts/fontawesome-webfont.ttf usr/share/doc/coq-doc-html/refman/_static/fonts/fontawesome-webfont.woff usr/share/doc/coq-doc-html/refman/_static/fonts/fontawesome-webfont.woff2 usr/share/doc/coq-doc-html/refman/_static/jquery.js usr/share/doc/coq-doc-html/refman/_static/js/theme.js usr/share/doc/coq-doc-html/refman/_static/language_data.js usr/share/doc/coq-doc-html/refman/_static/searchtools.js usr/share/doc/coq-doc-html/refman/_static/sphinx_highlight.js