menhir-20240715-2.mga11.src.rpm build ok