/patch-Makefile_in/1.5/Fri Nov 20 18:18:46 2020//
/patch-configure/1.5/Fri Nov 20 18:18:46 2020//
/patch-src_sphinx_cpp/1.2/Fri Nov 20 18:18:46 2020//
/patch-src_sphinxplugin_cpp/1.2/Fri Nov 20 18:18:46 2020//
/patch-src_sphinxrt_cpp/1.2/Fri Nov 20 18:18:46 2020//
/patch-src_sphinxstd_cpp/1.4/Fri Nov 20 18:18:46 2020//
/patch-src_sphinxutils_cpp/1.2/Fri Nov 20 18:18:46 2020//
D
