No data for openSUSE:Factory:Rebuild / coq