Установка: Для установки cvc3-el в Ubuntu / Linux Mint / Debian, введите в Терминал: sudo apt update sudo apt install cvc3-el Настроить APT Настроить команду APT Выберите действие: Установить Переустановить Удалить пакет Удалить пакет со всеми настройками Дополнительные опции: Автоподтверждение действий [-y] Исправить зависимости пакета [-f] Установить только обязательные пакеты [--no-install-recommends] Копировать Сбросить Подробная информация о пакете: Режим Emacs для CVC3 http://www.cs.nyu.edu/acsys/cvc3/ Июль 2018 Источник: packages.ubuntu.com Навигация по записям cvc4cvc4cvc3cvc3 Зависимости: emacs Редактор GNU Emacs (метапакет) emacsen Открыть список
