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