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