没有 openSUSE:Factory:Rebuild / coq 的数据