Index of /debian/pool/main/o/ocaml-atd/

../
atdts_2.10.0-2+b3_amd64.deb                        03-Feb-2023 12:41              561876
atdts_2.16.0-2+b1_amd64.deb                        14-Jun-2025 23:56              741408
libatd-ocaml-dev_2.10.0-2+b3_amd64.deb             03-Feb-2023 12:41             1849340
libatd-ocaml-dev_2.16.0-2+b1_amd64.deb             14-Jun-2025 23:56             2442788
libatd-ocaml_2.10.0-2+b3_amd64.deb                 03-Feb-2023 12:41              572376
libatd-ocaml_2.16.0-2+b1_amd64.deb                 14-Jun-2025 23:56              574824
libatdgen-ocaml-dev_2.10.0-2+b3_amd64.deb          03-Feb-2023 12:41             1077256
libatdgen-ocaml-dev_2.16.0-2+b1_amd64.deb          14-Jun-2025 23:56             1615572
libatdgen-ocaml_2.10.0-2+b3_amd64.deb              03-Feb-2023 12:41              124896
libatdgen-ocaml_2.16.0-2+b1_amd64.deb              14-Jun-2025 23:56              146240

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

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