Установка:
Для установки why3 в Ubuntu / Linux Mint / Debian, введите в Терминал:
sudo apt update
sudo apt install why3
Подробная информация о пакете:
Платформа проверки программного обеспечения
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
Библиотека GDK Pixbuf
-
Библиотека GLib подпрограмм C
-
Библиотека графического интерфейса пользователя GTK+
-
Общие библиотеки для виджета подсветки синтаксиса GTK+
-
Макет и предоставление интернационализированного текста
-
Общая инфраструктура для строительства и установки TeX
-
Библиотека сжатия - время выполнения
-
ocaml-base-nox-4.05.0