RPM packaging recipes for ScalaCheck