File _constraints of Package coq

<?xml version="1.0" encoding="UTF-8"?>
<constraints>
  <hardware>
    <memoryperjob>
      <size unit="M">900</size>
    </memoryperjob>
    <disk>
      <size unit="G">4</size>
    </disk>
  </hardware>
</constraints>