Index of /debian/pool/main/z/z3/

../
libz3-4_4.13.3-1_amd64.deb                         05-Nov-2024 15:11             8560036
libz3-4_4.8.12-3.1_amd64.deb                       01-Feb-2023 23:28             7216172
libz3-dev_4.13.3-1_amd64.deb                       05-Nov-2024 15:11              106528
libz3-dev_4.8.12-3.1_amd64.deb                     01-Feb-2023 23:28               90560
libz3-java_4.13.3-1_amd64.deb                      05-Nov-2024 15:11              182208
libz3-java_4.8.12-3.1_amd64.deb                    01-Feb-2023 23:28              163148
libz3-jni_4.13.3-1_amd64.deb                       05-Nov-2024 15:11               37436
libz3-jni_4.8.12-3.1_amd64.deb                     01-Feb-2023 23:28               32452
python3-z3_4.13.3-1_amd64.deb                      05-Nov-2024 15:11               83500
python3-z3_4.8.12-3.1_amd64.deb                    01-Feb-2023 23:28               78304
z3_4.13.3-1_amd64.deb                              05-Nov-2024 15:11             8566180
z3_4.8.12-3.1_amd64.deb                            01-Feb-2023 23:28             7229996

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

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