Установка:
Для установки why в Ubuntu / Linux Mint, введите в Терминал:
Подробная информация о пакете:
Инструмент проверки программного обеспечения для C и Java
-
Зависимости:
-
Платформа, предназначенная для анализа исходного кода, написанного на C (без gui)
-
Библиотека GNU C: общие библиотеки
-
Утилита для управления компиляцией
-
Платформа проверки программного обеспечения
-
ocaml-base-nox-4.05.0