@2375775:jflex-1.7.0-15.mga11.src.rpm: ok