python-jupyter-server-terminals-0.5.3-3.mga11.src.rpm build ok