Хочу установить Monodevelop на Ubuntu 18.04, но при добавлении PPA сам репозиторий импортируется, но при попытке выполнить sudo apt update получаю долгое подключение к download.mono-project.com и вот такой вывод

Не удалось получить https://download.mono-project.com/repo/ubuntu/dists/vs-bionic/InRelease Невозможно инициализировать соединение с download.mono-project.com:443 (2606:2800:133:206e:1315:22a5:2006:24fd). - connect (101: Сеть недоступна) Не удаётся соединиться с download.mono-project.com:443 (152.199.20.1), connection timed.

Эта проблема наблюдается около 2х недель. Раньше пользовался Monodevelop без каких-либо проблем.