problem downloading ros 2.0

edit

Mr. Dornhege,

Thank you for identifying where I can download ROS 2.0

However when I try to do so, I get the following error, which my IT department says is a problem with the site. Any advice would be appreciated. The error is displayed below.

Regards, Nolan

when I try:

sudo apt-key adv --keyserver ha.pool.sks-keyservers.net --recv-keys 421C365BD9FF1F717815A3895523BAEEB01FA116

I get a key error in response:

Executing: gpg --ignore-time-conflict --no-options --no-default-keyring --homedir /tmp/tmp.eGkQgLecYy --no-auto-check-trustdb --trust-model always --keyring /etc/apt/trusted.gpg --primary-keyring /etc/apt/trusted.gpg --keyring /etc/apt/trusted.gpg.d/umang-indicator-stickynotes.gpg --keyserver ha.pool.sks-keyservers.net --recv-keys D2486D2DD83DB69272AFE98867170598AF249743
gpg: requesting key AF249743 from hkp server ha.pool.sks-keyservers.net
gpg: keyserver timed out
gpg: keyserver receive failed: keyserver error