Index of /ubuntu/pool/universe/a/agda/

../
agda-bin_2.6.1-1build2.1_amd64.deb                 16-Sep-2021 15:28             9541384
agda-bin_2.6.3-1build1_amd64.deb                   11-Nov-2023 03:19            10985550
agda_2.6.1-1build2.1_all.deb                       16-Sep-2021 15:28                4134
agda_2.6.3-1build1_all.deb                         11-Nov-2023 03:19                3758
elpa-agda2-mode_2.6.1-1build2.1_all.deb            16-Sep-2021 15:28               46174
elpa-agda2-mode_2.6.3-1build1_all.deb              11-Nov-2023 03:19               46250
libghc-agda-dev_2.6.1-1build2.1_amd64.deb          16-Sep-2021 15:28            40255774
libghc-agda-dev_2.6.3-1build1_amd64.deb            11-Nov-2023 03:19            25485196
libghc-agda-doc_2.6.1-1build2.1_all.deb            16-Sep-2021 15:28             5403312
libghc-agda-doc_2.6.3-1build1_all.deb              11-Nov-2023 03:19             6288876

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

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