redpesk-devel-arz: x86_64 aarch64 armv7hl
