architecture: armhf binary_names: - network-manager-tde source_package_name: tdenetworkmanager-trinity