Установка:

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

sudo apt update
sudo apt install curry-tools-source
curry-tools-source — Инструменты, которые используются различными системами Curry, такими как PAKCS или KiCS2

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

Инструменты, которые используются различными системами Curry, такими как PAKCS или KiCS2

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

  • Нет зависимостей.