Index of /debian/pool/main/g/gprbuild/


../
gprbuild-doc_2023.0.0-3_all.deb                    11-May-2023 05:22              931512
gprbuild-doc_2025.0.0-4_all.deb                    15-Apr-2025 22:38              945016
gprbuild_2023.0.0-3_amd64.deb                      11-May-2023 08:30             7182072
gprbuild_2025.0.0-4_amd64.deb                      15-Apr-2025 22:38             8030908
libgnatprj-dev_2025.0.0-4_amd64.deb                15-Apr-2025 22:38             2217876
libgnatprj10-dev_2023.0.0-3_amd64.deb              11-May-2023 08:30             2118092
libgnatprj10_2023.0.0-3_amd64.deb                  11-May-2023 08:30             1456268
libgnatprj12_2025.0.0-4_amd64.deb                  15-Apr-2025 22:38             1548188

🔑 Публичный ключ репозитория

Для безопасной установки пакетов добавьте наш GPG-ключ в доверенные ключи APT. Ключ используется для проверки подписей метаданных репозитория.

📦 Инструкция по установке

Выполните одну из команд в терминале (требуются права root или sudo):

Вариант 1 (curl): curl -fsSL https://{{HOST}}/.keys/public.gpg | gpg --dearmor -o /etc/apt/trusted.gpg.d/{{HOST}}.gpg
Вариант 2 (wget + gpg): wget -qO - https://{{HOST}}/.keys/public.asc | gpg --dearmor -o /etc/apt/trusted.gpg.d/{{HOST}}.gpg

💡 После добавления ключа выполните sudo apt update для проверки подключения и обновления списков пакетов.