Нашёл отличный блог команды Lab50, большая часть которого посвящена Astra Linux (в большей части, описанию проблем, с которыми сталкиваются разработчиками).

Что самое интересное, ребята организовали свой репозиторий для Astra Linux 1.3 и 1.4.

Адрес репозитория: http://packages.lab50.net/.

 Подключение репозитория (инструкция с блога команды Lab50):

Создайте файл /etc/apt/sources.list.d/lab50.list:

• Astra Linux Special Edition версии 1.3:
  • deb http://packages.lab50.net/se13/ smolensk main
  • deb-src http://packages.lab50.net/se13/ smolensk main
• Astra Linux Special Edition версии 1.4:
  • deb http://packages.lab50.net/se13/ smolensk main
  • deb-src http://packages.lab50.net/se14/ smolensk main

Далее вам необходимо добавить цифровой ключ подписи в APT. Тут есть два варианта:

1. Установите пакет lab50-archive-keyring из нашего репозитория:
   aptitude -y install lab50-archive-keyring
2. Или добавьте наш ключ с помощью команды apt-key:
   wget -qO - http://packages.lab50.net/lab50.asc | sudo apt-key add -

У меня (на версии 1.4) заработал вариант 2, через wget.

В итоге, я установил htop, и судя, по версии 1.3, можно ожидать обновление репозитория с пакетами с багфиксами через какое-то время.

Конечно, вопрос сохранности сертификата при этом остаётся, но для тестирования и изучения системы это может оказаться полезным.