[continued from previous message]

dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_L.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_M.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_N.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_O.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_P.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_R.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_S.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_T.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_U.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_V.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_W.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_X.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_axiom__.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_*.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_A.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_L.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_M.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_N.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_O.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_P.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_R.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_S.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_T.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_U.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_V.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_W.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_X.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_binder__.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_*.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_A.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_L.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_M.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_N.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_O.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_P.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_R.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_S.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_T.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_U.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_V.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_W.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_X.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_constructor__.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_*.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_A.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_L.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_M.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_N.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_O.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_P.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_R.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_S.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_T.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_U.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_V.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_W.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_X.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_definition__.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_*.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_A.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_L.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_M.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_N.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_O.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_P.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_R.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_S.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_T.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_U.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_V.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_W.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_X.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_global__.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_*.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_A.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_L.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_M.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_N.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_O.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_P.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_R.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_S.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_T.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_U.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_V.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_W.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_X.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_inductive__.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_*.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_A.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_L.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_M.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_N.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_O.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_P.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_Q.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_R.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_S.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_T.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_U.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_V.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_W.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_X.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_Y.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma_Z.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_lemma__.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_*.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_A.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_B.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_C.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_D.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_E.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_F.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_G.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_H.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_I.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_J.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_K.html has no final newline (either original or modified version)
dpkg-source: warning: file ssreflect-1.17.0/mathcomp/_build_doc/htmldoc/index_library_L.html has no final newline (either original or modified version)

[continued in next message]

--- SoupGate-Win32 v1.05
* Origin: fsxNet Usenet Gateway (21:1/5)