Index of /debian/pool/main/f/flint/

../
libflint-dev_2.9.0-5_amd64.deb                     11-Sep-2022 20:14              238476
libflint-dev_3.1.3-2_amd64.deb                     05-Jan-2025 23:41              221848
libflint-doc_2.9.0-5_all.deb                       11-Sep-2022 20:14             3752544
libflint-doc_3.1.3-2_all.deb                       06-Jan-2025 00:11             7460288
libflint17_2.9.0-5_amd64.deb                       11-Sep-2022 20:14             2226060
libflint19_3.1.3-2_amd64.deb                       05-Jan-2025 23:41             3791156

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

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

📄 public.asc 🔑 public.gpg

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

Выполните одну из команд в терминале (требуются права 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 для проверки подключения и обновления списков пакетов.