Index of /debian/pool/main/o/ocaml/


../
libcompiler-libs-ocaml-dev_5.3.0-3_amd64.deb       12-Jun-2025 19:52            48190040
libstdlib-ocaml-dev_5.3.0-3_amd64.deb              12-Jun-2025 19:52             7885908
libstdlib-ocaml_5.3.0-3_amd64.deb                  12-Jun-2025 19:52              604824
ocaml-base-nox_4.13.1-4_all.deb                    12-Feb-2023 18:56              164928
ocaml-base-nox_5.3.0-3_all.deb                     12-Jun-2025 20:07              211836
ocaml-base_4.13.1-4_amd64.deb                      12-Feb-2023 18:56              667508
ocaml-base_5.3.0-3_amd64.deb                       12-Jun-2025 19:52              494984
ocaml-compiler-libs_4.13.1-4_amd64.deb             12-Feb-2023 18:56            31024000
ocaml-compiler-libs_5.3.0-3_all.deb                12-Jun-2025 20:07              210276
ocaml-interp_4.13.1-4_amd64.deb                    12-Feb-2023 18:56             6158032
ocaml-interp_5.3.0-3_amd64.deb                     12-Jun-2025 19:52             7104200
ocaml-man_4.13.1-4_all.deb                         12-Feb-2023 18:56              679740
ocaml-man_5.3.0-3_all.deb                          12-Jun-2025 20:07              861480
ocaml-nox_4.13.1-4_all.deb                         12-Feb-2023 18:56              161120
ocaml-nox_5.3.0-3_all.deb                          12-Jun-2025 20:07              210268
ocaml-source_4.13.1-4_all.deb                      12-Feb-2023 18:56             5486520
ocaml-source_5.3.0-3_all.deb                       12-Jun-2025 20:07             4544324
ocaml_4.13.1-4_amd64.deb                           12-Feb-2023 18:56            72145688
ocaml_5.3.0-3_amd64.deb                            12-Jun-2025 19:52            18017468

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

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