Установка:

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

sudo apt update
sudo apt install libwhy3-ocaml-dev
libwhy3-ocaml-dev — OCaml librariries для why3 (dev)

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

OCaml librariries для why3 (dev)

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

  • tex-common

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

  • libmenhir-ocaml-dev-47ms3

  • libmenhir-ocaml-dev-i8ko9

  • libmenhir-ocaml-dev-vvop0

  • libzarith-ocaml-dev-433l0

  • libzarith-ocaml-dev-dt9w1

  • libzarith-ocaml-dev-gqf85

  • libzarith-ocaml-dev-rntd0

  • libzarith-ocaml-dev-zmoc1

  • libzip-ocaml-dev-5t4j6

  • libzip-ocaml-dev-gyew6

  • libzip-ocaml-dev-moa44

  • ocaml-nox-4.05.0