» Haskell

Как установить libghc-presburger-dev в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install libghc-presburger-dev

Настроить команду APT

libghc-presburger-dev — процедура принятия для бесклассовой линейной арифметики

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

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

http://github.com/yav/presburger
Источник: packages.ubuntu.com

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

  • libc6

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

  • libgmp10

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

  • libghc-base-dev-4.9.1.0-234a1

  • libghc-base-dev-4.9.1.0-4081d

  • libghc-base-dev-4.9.1.0-5a696

  • libghc-base-dev-4.9.1.0-748dd

  • libghc-base-dev-4.9.1.0-d28d6

  • libghc-base-dev-4.9.1.0-e9923

  • libghc-containers-dev-0.5.7.1-4dfb6

  • libghc-containers-dev-0.5.7.1-665fe

  • libghc-containers-dev-0.5.7.1-b987c

  • libghc-containers-dev-0.5.7.1-cd211

  • libghc-containers-dev-0.5.7.1-ed950

  • libghc-pretty-dev-1.1.3.3-912de

  • libghc-pretty-dev-1.1.3.3-92eaa

  • libghc-pretty-dev-1.1.3.3-9725c

  • libghc-pretty-dev-1.1.3.3-bf381

  • libghc-pretty-dev-1.1.3.3-fb050