File _constraints of Package ocaml-coq
<constraints> <overwrite> <conditions> <arch>ppc64</arch> <arch>ppc64le</arch> </conditions> <hardware> <disk> <size unit="G">6</size> </disk> <memory> <size unit="G">10</size> </memory> </hardware> </overwrite> <overwrite> <conditions> <arch>aarch64</arch> <arch>s390x</arch> <arch>x86_64</arch> </conditions> <hardware> <disk> <size unit="G">6</size> </disk> <memory> <size unit="G">6</size> </memory> </hardware> </overwrite> </constraints>