@2254237:minetest-5.12.0-3.mga10.src.rpm build ok