Установка:

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

sudo apt update
sudo apt install why3
why3 — Платформа проверки программного обеспечения

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

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

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

  • libc6

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

  • libgdk-pixbuf2.0-0

    Библиотека GDK Pixbuf

  • libglib2.0-0

    Библиотека GLib подпрограмм C

  • libgtk2.0-0

    Библиотека графического интерфейса пользователя GTK+

  • libgtksourceview2.0-0

    Общие библиотеки для виджета подсветки синтаксиса GTK+

  • libpango-1.0-0

    Макет и предоставление интернационализированного текста

  • tex-common

    Общая инфраструктура для строительства и установки TeX

  • zlib1g

    Библиотека сжатия - время выполнения

  • ocaml-base-nox-4.05.0