Установка:

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

sudo apt update
sudo apt install acl2-source
Dzen
acl2-source — Вычислительная логика для аппликативного общего Lisp: исходные файлы

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

Вычислительная логика для аппликативного общего Lisp: исходные файлы

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

  • tex-common

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