python-sphinx_rtd_theme-0.2.4-1.mga7.src.rpm build ok