Index of /ubuntu/pool/universe/g/gecode/


../
flatzinc_6.2.0-5.1build3_amd64.deb                 12-Apr-2024 12:59               23424
flatzinc_6.2.0-5_amd64.deb                         09-Aug-2020 18:33               24536
libgecode-dev_6.2.0-5.1build3_amd64.deb            12-Apr-2024 12:59              462072
libgecode-dev_6.2.0-5_amd64.deb                    09-Aug-2020 18:33              462164
libgecode-doc_6.2.0-5.1build3_all.deb              12-Apr-2024 12:59            11526664
libgecode-doc_6.2.0-5_all.deb                      09-Aug-2020 18:33            11026816
libgecode49_6.2.0-5_amd64.deb                      09-Aug-2020 18:33             2745448
libgecode49t64_6.2.0-5.1build3_amd64.deb           12-Apr-2024 12:59             2923384
libgecodeflatzinc49_6.2.0-5_amd64.deb              09-Aug-2020 18:33              211796
libgecodeflatzinc49t64_6.2.0-5.1build3_amd64.deb   12-Apr-2024 12:59              209620
libgecodegist49_6.2.0-5_amd64.deb                  09-Aug-2020 18:33              118592
libgecodegist49t64_6.2.0-5.1build3_amd64.deb       12-Apr-2024 12:59              118344

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

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