maven-plugin-tools-3.9.0-2.mga10.src.rpm build ok