Это старая версия документа!
sudo bash -c 'echo «deb https://labs.picotech.com/debian/ picoscope main» >/etc/apt/sources.list.d/picoscope.list'
wget -O - https://labs.picotech.com/debian/dists/picoscope/Release.gpg.key | sudo apt-key add -
sudo apt-get update
sudo apt-get install picoscope