» Документация

Как установить acl2-doc в Ubuntu / Debian

Установка:

Для установки acl2-doc в Ubuntu / Linux Mint / Debian, введите в Терминал:

sudo apt update
sudo apt install acl2-doc

Настроить команду APT

acl2-doc — Вычислительная логика для аппликативного общего Lisp: документация

Подробная информация о пакете:

Вычислительная логика для аппликативного общего Lisp: документация

, , ,
Источник: packages.ubuntu.com

  • Зависимости:

  • dpkg

    Dpkg — Система управления пакетами Debian

  • install-info

    Управление установленной документацией в информационном формате

  • tex-common

    Общая инфраструктура для строительства и установки TeX