Не обновляется список пакетов из добавленного репозитория.

[antimagick]

Здравствуйте! Есть "машина" на Ubuntu 16.04, которая через прокси получает доступ в сеть. В терминале, команды

Код: [Выделить]

apt update || apt upgrade || apt install || add-apt-repository работают как надо. Мне необходимо понизить версию PHP с версии 7.* до версии 5.6, для этого я добавил репозиторий "Ondrej" ("ключи" получил, репозиторий добавился), далее, я обновил список пакетов через

Код: [Выделить]

apt update, но случилось странное: список пакетов из репозитория пришёл "поломанным", это я понял по тому, что в итоге выполнения обновления списка пакетов была строка got NODATA (does the network require authentication?).
Дело явно в прокси на Windows "машине", но без прокси я в сеть не попаду.

Мне бы не помешала Ваша помощь. Что мне делать? Собирать PHP 5.6 вручную из исходников или есть рабочие способы, о которых я и не догадываюсь?
ТС не появлялся на Форуме более полугода по состоянию на 14/07/2019 (последняя явка: 25/03/2018). Модератором раздела принято решение закрыть тему.
--zg_nico

[F12]

добавил репозиторий "Ondrej"

- имеется ввиду это https://launchpad.net/~ondrej/+archive/ubuntu/php ?..
- а штатные репы используешь с какого сервера, с Основного т.е. http://archive.ubuntu.com/ubuntu, или какой другой?..

[antimagick]

добавил репозиторий "Ondrej"

- имеется ввиду это https://launchpad.net/~ondrej/+archive/ubuntu/php ?..
- а штатные репы используешь с какого сервера, с Основного т.е. http://archive.ubuntu.com/ubuntu, или какой другой?..

Да, тот самый репозиторий Ondrej с php. Штатные репы сначала загружал с местного сервера (Узбекистан), далее, переключился без проблем на основной. На одной "машине" ключи от репозиториев не добавлялись, на этой "машине" список пакетов не доходит...
На своей "домашней" системе дома, без прокси попробовал добавить репозиторий "Ondrej" и поставил php 5.6 оттуда и всё получилось так, как и было нужно, а на той "машине" с прокси беда.