Index of /debian/pool/main/g/gecode/


../
flatzinc_6.2.0-5_amd64.deb                         09-Aug-2020 13:43               76220
libgecode-dev_6.2.0-5_amd64.deb                    09-Aug-2020 13:43              512764
libgecode-dev_6.2.0-7_amd64.deb                    12-Feb-2025 01:24              462160
libgecode-doc_6.2.0-5_all.deb                      09-Aug-2020 13:38            11069352
libgecode-doc_6.2.0-7_all.deb                      12-Feb-2025 01:19            11058368
libgecode49_6.2.0-5_amd64.deb                      09-Aug-2020 13:43             2786988
libgecode49t64_6.2.0-7_amd64.deb                   12-Feb-2025 01:24             3019088
libgecodeflatzinc49_6.2.0-5_amd64.deb              09-Aug-2020 13:43              263736
libgecodeflatzinc49t64_6.2.0-7_amd64.deb           12-Feb-2025 01:24              225044
libgecodegist49_6.2.0-5_amd64.deb                  09-Aug-2020 13:43              170336
libgecodegist49t64_6.2.0-7_amd64.deb               12-Feb-2025 01:24              121616

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

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