File _link of Package coq

<link project="openSUSE:Factory" baserev="4ae4cd400b77301e5305a9db3d81de64">
  <patches>
    <branch/>
  </patches>
</link>