let
debian_ports_architectures =
[
"armhf"
;
"avr32"
;
"m68k"
;
"powerpcspe"
;
"sh4"
;
"sparc64"
]