File _link of Package coq

<link project="science" baserev="79ab1d552acc926cc90fbfd4790e8b94">
  <patches>
    <branch/>
  </patches>
</link>