File _link of Package coq

<link project="openSUSE:Factory" baserev="195c8ef42b34e2ac3f4f5d996c8e62d5">
  <patches>
    <branch/>
  </patches>
</link>
openSUSE Build Service is sponsored by