Установка:

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

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

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

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

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

  • dpkg

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

  • install-info

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

  • tex-common

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