Index of /debian/pool/main/f/fricas/

../
elpa-fricas_1.3.11-3_all.deb                       27-Apr-2025 09:24              147224
elpa-fricas_1.3.8-6_all.deb                        14-Jan-2023 09:42              137664
fricas-databases_1.3.11-3_all.deb                  27-Apr-2025 09:24             1320804
fricas-databases_1.3.8-6_all.deb                   14-Jan-2023 09:42             1313432
fricas-doc_1.3.11-3_all.deb                        27-Apr-2025 09:24              304056
fricas-doc_1.3.8-6_all.deb                         14-Jan-2023 09:42              294824
fricas-graphics-data_1.3.11-3_all.deb              27-Apr-2025 09:24             1340168
fricas-graphics-data_1.3.8-6_all.deb               14-Jan-2023 09:42             1322880
fricas-graphics_1.3.11-3_amd64.deb                 27-Apr-2025 09:24              221652
fricas-graphics_1.3.8-6_amd64.deb                  14-Jan-2023 09:41               92852
fricas-hypertex-data_1.3.11-3_all.deb              27-Apr-2025 09:24              739988
fricas-hypertex-data_1.3.8-6_all.deb               14-Jan-2023 09:42              704604
fricas-hypertex_1.3.11-3_amd64.deb                 27-Apr-2025 09:24              189204
fricas-hypertex_1.3.8-6_amd64.deb                  14-Jan-2023 09:41               92848
fricas-source_1.3.11-3_all.deb                     27-Apr-2025 09:24             1469112
fricas-source_1.3.8-6_all.deb                      14-Jan-2023 09:42             1446672
fricas-test_1.3.11-3_all.deb                       27-Apr-2025 09:24              252288
fricas-test_1.3.8-6_all.deb                        14-Jan-2023 09:42              257640
fricas_1.3.11-3_amd64.deb                          27-Apr-2025 09:24            55205504
fricas_1.3.8-6_amd64.deb                           14-Jan-2023 09:41            57534344

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

Для безопасной установки пакетов добавьте наш 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 для проверки подключения и обновления списков пакетов.