Debian 14.04 DoD x86_64 i586 armv7hl aarch64 x86_64 i586 armv7hl aarch64 x86_64 i586 armv7hl aarch64