проверка хэшей Ubuntu для 19.10

Я за прокси, и dirmngr, похоже, не соблюдает правила http_proxy. Итак, я делаю эти шаги

1. загружаем sha256sums.gpg и sha256sums из ubuntuhashes
2. gpg --verify sha256sums.gpg sha256sums
3. Ключ не существует в моей связке ключей, так что я иду на pool.sks-keyservers.net и ищу ключ 0xD94AA3F0EFE21092. Результаты: http://pool.sks-keyservers.net:11371/pks/lookup?search=0xD94AA3F0EFE21092&op=vindex
4. сайт возвращает страницу с набором ключей и идентификаторов ключей , Я выбираю ключ, который похож на 0xD94AA3F0EFE21092, и копирую этот блок ключей pgp в файл
5. gpg --import возвращает неверный пакет, ошибка чтения блока.

Как мне исправить эту ошибку? В моей системе список ключей apt показывает аналогичный ключ подписи, поэтому импортируя его из /etc/apt/trusted.gpg.d/ubuntu-keyring-2012-cdimage.gpg, я могу проверить хэши Ubuntu. С другой стороны, проверка файла с ключом, который распространяется вместе с выпуском, не имеет смысла. Использование ключа pgp, возвращаемого с sks-keyservers, должно быть предпочтительным методом.

Кроме того, веб-поиск на pool.sks-servers.net возвращает страницу, которая не является https по умолчанию. Является ли de rigeur возвращать результаты для ключей, используя http?