Index of /ubuntu/pool/universe/o/ocaml/


../
libcompiler-libs-ocaml-dev_4.14.1-1ubuntu1_amd6..> 26-Oct-2023 16:43            38350038
libstdlib-ocaml-dev_4.14.1-1ubuntu1_amd64.deb      26-Oct-2023 16:43             8453366
libstdlib-ocaml_4.14.1-1ubuntu1_amd64.deb          26-Oct-2023 16:43              377888
ocaml-base-nox_4.13.1-3ubuntu1_all.deb             24-Jan-2022 22:44                5880
ocaml-base-nox_4.14.1-1ubuntu1_all.deb             26-Oct-2023 16:43                3360
ocaml-base_4.13.1-3ubuntu1_amd64.deb               24-Jan-2022 22:44              588532
ocaml-base_4.14.1-1ubuntu1_amd64.deb               26-Oct-2023 16:43              256214
ocaml-compiler-libs_4.13.1-3ubuntu1_amd64.deb      24-Jan-2022 22:44            36167430
ocaml-compiler-libs_4.14.1-1ubuntu1_all.deb        26-Oct-2023 16:43                1922
ocaml-interp_4.13.1-3ubuntu1_amd64.deb             24-Jan-2022 22:44             7488230
ocaml-interp_4.14.1-1ubuntu1_amd64.deb             26-Oct-2023 16:43             7825456
ocaml-man_4.13.1-3ubuntu1_all.deb                  24-Jan-2022 22:44              518686
ocaml-man_4.14.1-1ubuntu1_all.deb                  26-Oct-2023 16:43              554514
ocaml-nox_4.13.1-3ubuntu1_all.deb                  24-Jan-2022 22:44                3082
ocaml-nox_4.14.1-1ubuntu1_all.deb                  26-Oct-2023 16:43                4716
ocaml-source_4.13.1-3ubuntu1_all.deb               24-Jan-2022 22:44             5325240
ocaml-source_4.14.1-1ubuntu1_all.deb               26-Oct-2023 16:43             3811864
ocaml_4.13.1-3ubuntu1_amd64.deb                    24-Jan-2022 22:44            87676320
ocaml_4.14.1-1ubuntu1_amd64.deb                    26-Oct-2023 16:43            81374768

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

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