File _constraints of Package coq

<?xml version="1.0" encoding="UTF-8"?>
<constraints>
  <hardware>
    <memoryperjob>
      <size unit="M">800</size>
    </memoryperjob>
  </hardware>
</constraints>