File _constraints of Package coq

openSUSE Build Service is sponsored by