File _constraints of Package lean4

<?xml version="1.0" encoding="UTF-8"?>
<constraints>
  <hardware>
    <physicalmemory>
      <size unit="G">16</size>
    </physicalmemory>
    <memoryperjob>
      <size unit="M">2048</size>
    </memoryperjob>
  </hardware>
  <overwrite>
    <conditions>
      <arch>aarch64</arch>
      <arch>armv7l</arch>
      <arch>armv6l</arch>
    </conditions>
    <hardware>
      <physicalmemory>
        <size unit="G">5</size>
      </physicalmemory>
      <memoryperjob>
        <size unit="M">1024</size>
      </memoryperjob>
    </hardware>
  </overwrite>
</constraints>