» Haskell

Как установить agda-bin в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install agda-bin
agda-bin — интерфейс командной строки для Agda

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

Интерфейс командной строки для Agda

http://wiki.portal.chalmers.se/agda/
,
onstartup.ru

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

  • libc6

    Библиотека GNU C: общие библиотеки

  • libffi6

    Время работы библиотеки интерфейса внешней функциональности

  • libgmp10

    Многоточечная арифметическая библиотека

  • libtinfo5

    Общая библиотека terminfo низкого уровня для обработки терминала

  • zlib1g

    Библиотека сжатия - время выполнения