Index of /debian/pool/main/s/smlnj/

../
libckit-smlnj_110.79-8_amd64.deb                   04-Oct-2022 04:08              231160
libcml-smlnj_110.79-8_amd64.deb                    04-Oct-2022 04:08              154456
libcmlutil-smlnj_110.79-8_amd64.deb                04-Oct-2022 04:08               34512
libexene-smlnj_110.79-8_amd64.deb                  04-Oct-2022 04:08              778764
libmlnlffi-smlnj_110.79-8_amd64.deb                04-Oct-2022 04:08              111060
libmlrisctools-smlnj_110.79-8_amd64.deb            04-Oct-2022 04:08              227268
libpgraphutil-smlnj_110.79-8_amd64.deb             04-Oct-2022 04:08               41064
libsmlnj-smlnj_110.79-8_amd64.deb                  04-Oct-2022 04:08              494260
ml-burg_110.79-8_amd64.deb                         04-Oct-2022 04:08              196116
ml-lex_110.79-8_amd64.deb                          04-Oct-2022 04:08              163696
ml-lpt_110.79-8_amd64.deb                          04-Oct-2022 04:08              491112
ml-nlffigen_110.79-8_amd64.deb                     04-Oct-2022 04:08              540044
ml-yacc_110.79-8_amd64.deb                         04-Oct-2022 04:08              257300
nowhere_110.79-8_amd64.deb                         04-Oct-2022 04:08              452416
smlnj-doc_110.79-8_all.deb                         04-Oct-2022 03:57             2190656
smlnj-runtime_110.79-8_amd64.deb                   04-Oct-2022 04:08              127056
smlnj_110.79-8_amd64.deb                           04-Oct-2022 04:08             5797104

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

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