Dear porters, dpkg maintainers and developers, It seems that `armhf' and `arm-hardfloat-linux-gnueabi' are the winners. We are starting to work on Debian new port based on those names. Thanks all for your contributions! Best regards, -- Héctor Orón 19:57 < markos_> ostable: armhf arm arm.* 32 little 19:57 < markos_> triplettable: gnueabi-linux-hardfloat-arm armhf