Ubuntu 10.04 VM cannot set up tinyOS

[rashiidsherif]

Hello TinyOS'ers :) Happy 2024!

Cannot setup tinyOS

Firstly,

#
# add the keys for Razvan, the package signer
#
gpg --keyserver subkeys.pgp.net --recv-keys F99BE531
gpg -a --export F99BE531 | sudo apt-key add -

The above here gives error HTTP fetch error
7: couldn't connect to host no valid openPGP found

sudo -s

Then,

#
# teach dpkt/apt-get/aptitude about where to find the tinyprod tools repository
#
echo "deb http://tinyprod.net/repos/debian squeeze main" >> /etc/apt/sources.list.d/tinyprod-debian.list
apt-get update

Gives me error
GPG keeps coming as NO DATA 1 NO DATA 2

Any advice would be greatly appreciated :)