Установка: Для установки menhir-doc в Ubuntu / Linux Mint, введите в Терминал: sudo apt update sudo apt install menhir-doc Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Документация генератора парсера Menhir для OCaml http://gallium.inria.fr/~fpottier/menhir/ Октябрь 2018 Источник: packages.ubuntu.com Навигация по записям mgen-docmgen-docmdk-docmdk-doc Зависимости: Нет зависимостей. Открыть список