Установка:
Для установки acl2-emacs в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install acl2-emacs
Подробная информация о пакете:
Вычислительная логика для аппликативного общего Lisp: интерфейс emacs
-
Зависимости:
-
Вычислительная логика для аппликативного общего Lisp: основной двоичный код
-
Редактор GNU Emacs (с поддержкой GTK+ GUI)
-
Общая инфраструктура для строительства и установки TeX
-
emacsen