No data for openSUSE / coq