Index of /debian/pool/main/a/agda/

../
agda-bin_2.6.2.2-1.1_amd64.deb                     07-Dec-2022 00:57             7751992
agda-bin_2.6.4.3-1+b2_amd64.deb                    02-Feb-2025 05:54             9846396
agda_2.6.2.2-1.1_all.deb                           07-Dec-2022 00:41               12304
agda_2.6.4.3-1_all.deb                             08-Oct-2024 18:23               12148
elpa-agda2-mode_2.6.2.2-1.1_all.deb                07-Dec-2022 00:41               50944
elpa-agda2-mode_2.6.4.3-1_all.deb                  08-Oct-2024 18:23               51316
libghc-agda-dev_2.6.2.2-1.1_amd64.deb              07-Dec-2022 00:57            24853036
libghc-agda-dev_2.6.4.3-1+b2_amd64.deb             02-Feb-2025 05:54            22821040
libghc-agda-doc_2.6.2.2-1.1_all.deb                07-Dec-2022 00:41             6599972
libghc-agda-doc_2.6.4.3-1_all.deb                  08-Oct-2024 18:23             7489680

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

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