Index of /ubuntu/pool/universe/c/cryptominisat/


../
cryptominisat_5.11.15+dfsg1-1.1build1_amd64.deb    01-Apr-2024 10:47               83060
cryptominisat_5.8.0+dfsg1-2_amd64.deb              23-Feb-2022 06:45               92960
libcryptominisat5-5.11t64_5.11.15+dfsg1-1.1buil..> 01-Apr-2024 10:47              447326
libcryptominisat5-5.8_5.8.0+dfsg1-2_amd64.deb      23-Feb-2022 06:45              386708
libcryptominisat5-dev_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 10:47               17744
libcryptominisat5-dev_5.8.0+dfsg1-2_amd64.deb      23-Feb-2022 06:45               12978
python3-cryptominisat_5.11.15+dfsg1-1.1build1_a..> 01-Apr-2024 10:47              525966
python3-cryptominisat_5.8.0+dfsg1-2_amd64.deb      23-Feb-2022 06:45               19592

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

Для безопасной установки пакетов добавьте наш GPG-ключ в доверенные ключи APT. Ключ используется для проверки подписей метаданных репозитория.

📦 Инструкция по установке

Выполните одну из команд в терминале (требуются права 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 для проверки подключения и обновления списков пакетов.