File _link of Package failed_coq

<link project="science" package="coq" rev="faf44ad9a97711297329236d0fa389dd" baserev="faf44ad9a97711297329236d0fa389dd">
  <patches>
    <branch/>
  </patches>
</link>