Установка:
Для установки curry-tools-source в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Инструменты, которые используются различными системами Curry, такими как PAKCS или KiCS2
-
Зависимости:
- Нет зависимостей.