File _link of Package coq

<link project="science" rev="736483d2f0d2ec33c5514f8a3a22af19" baserev="736483d2f0d2ec33c5514f8a3a22af19">
  <patches>
    <branch/>
  </patches>
</link>