blob: 9d8c022a22b6a64cd876bddf712eb0f938848c39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_abbreviation_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_axiom_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_constructor_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_definition_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_global_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_inductive_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_lemma_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_library_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_module_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_notation_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_projection_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_record_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_section_*.html
libssreflect-coq: file-name-contains-wildcard-character usr/share/doc/libssreflect-coq/htmldoc/index_variable_*.html
|
