libcoq-mathcomp (2.3.0-1build19)
Details
Core information at a glance
- Distribution
- ubuntu
- Origin
- ubuntu-stonking
- Repository
- https://nl.archive.ubuntu.com/ubuntu
- Codename
- stonking
- Component
- universe
- Source
- ssreflect
- Architecture
- amd64
- Section
- universe/math
- Priority
- optional
- Maintainer
- Ubuntu Developers <[email protected]>
Size & integrity
Byte sizes and integrity verification
- Installed size
- 111.2 kB
- Size expected
- 2.6 MB
- Size actual
- 2.6 MB
- Size match
Dependencies
Required package dependencies
Suggested packages
Recommended additional packages
- None
Description
Mathematical Components library for Coq (all)
Tags
Package classification tags
None
Checksums
Hash values and integrity verification status
| Type | Actual | Match |
|---|---|---|
| MD5 | 7bfc263c…d7beff65 | |
| SHA-1 | 504e49a7…c76ed0db | |
| SHA-256 | 043161b7…34730957 | |
| SHA-512 | 8e52ad0d…f8673ce8 |
Contents
Files and directories included
. usr usr/lib usr/lib/x86_64-linux-gnu usr/lib/x86_64-linux-gnu/ocaml usr/lib/x86_64-linux-gnu/ocaml/5.4.0 usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/all usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/all/all.glob usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/all/all.v usr/lib/x86_64-linux-gnu/ocaml/5.4.0/coq/user-contrib/mathcomp/all/all.vo usr/share usr/share/doc usr/share/doc/libcoq-mathcomp usr/share/doc/libcoq-mathcomp/README.md usr/share/doc/libcoq-mathcomp/copyright usr/share/doc/libcoq-mathcomp/examples usr/share/doc/libcoq-mathcomp/examples/pg-ssr.el usr/share/doc/libcoq-mathcomp/htmldoc usr/share/doc/libcoq-mathcomp/htmldoc/coqdoc.css usr/share/doc/libcoq-mathcomp/htmldoc/depend.js usr/share/doc/libcoq-mathcomp/htmldoc/index.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_abbreviation__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_axiom__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_constructor__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_definition__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_global__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_inductive__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_lemma__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_library__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_module__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_notation__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_projection__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_record__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_section__.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_*.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_A.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_B.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_C.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_D.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_E.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_F.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_G.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_H.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_I.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_J.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_K.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_L.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_M.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_N.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_O.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_P.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_Q.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_R.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_S.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_T.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_U.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_V.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_W.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_X.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_Y.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable_Z.html usr/share/doc/libcoq-mathcomp/htmldoc/index_variable__.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.all_algebra.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.archimedean.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.countalg.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.finalg.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.fraction.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.intdiv.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.interval.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.matrix.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.mxalgebra.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.mxpoly.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.mxred.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.poly.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.polyXY.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.polydiv.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.qpoly.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.rat.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.ring_quotient.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.sesquilinear.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.spectral.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.ssralg.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.ssrint.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.ssrnum.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.vector.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.algebra.zmodp.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.all.all.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.all_character.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.character.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.classfun.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.inertia.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.integral_char.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.mxabelem.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.mxrepresentation.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.character.vcharacter.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.algC.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.algebraics_fundamentals.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.algnum.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.all_field.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.closed_field.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.cyclotomic.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.falgebra.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.fieldext.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.finfield.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.galois.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.qfpoly.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.field.separable.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.action.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.all_fingroup.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.automorphism.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.fingroup.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.gproduct.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.morphism.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.perm.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.presentation.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.fingroup.quotient.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.abelian.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.all_solvable.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.alt.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.burnside_app.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.center.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.commutator.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.cyclic.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.extraspecial.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.extremal.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.finmodule.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.frobenius.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.gfunctor.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.gseries.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.hall.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.jordanholder.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.maximal.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.nilpotent.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.pgroup.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.primitive_action.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.solvable.sylow.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.all_ssreflect.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.bigop.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.binomial.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.choice.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.div.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.eqtype.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.finfun.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.fingraph.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.finset.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.fintype.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.generic_quotient.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.order.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.path.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.prime.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.seq.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.ssrAC.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.ssrbool.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.ssreflect.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.ssrfun.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.ssrmatching.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.ssrnat.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.ssrnotations.html usr/share/doc/libcoq-mathcomp/htmldoc/mathcomp.ssreflect.tuple.html usr/share/doc-base usr/share/doc-base/libcoq-mathcomp.mathematical-components-library usr/share/lintian usr/share/lintian/overrides usr/share/lintian/overrides/libcoq-mathcomp var var/lib var/lib/coq var/lib/coq/md5sums var/lib/coq/md5sums/libcoq-mathcomp.checksum usr/share/doc/libcoq-mathcomp/changelog.Debian.gz