Estes dois pacotes estão disponíveis apenas para os sistemas baseados em amd64 (PCs "normais" de 64 bits), mas não para o armhf, como o Raspberry PI 3.
Se o Pulse Secure exigir que eles estejam disponíveis apenas para amd64 e não funcionem em um PI de framboesa.