@2372818:picocli-4.7.7-1.mga11.src.rpm: ok