gtksourceview5-5.14.2-1.mga10.src.rpm build ok