» Библиотеки для разработки

Как установить libcoq-ocaml-dev в Ubuntu / Debian

Установка:

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

sudo apt update
sudo apt install libcoq-ocaml-dev

Настроить команду APT

libcoq-ocaml-dev — библиотеки разработки и инструменты для Coq

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

Библиотеки разработки и инструменты для Coq

http://coq.inria.fr/
,
Источник: packages.ubuntu.com

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

  • coq

    Доказательство для логики более высокого порядка (toplevel и компилятор)

  • libc6

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

  • camlp5-bskq5

  • camlp5-ps9p6

  • camlp5-wr926

  • libcoq-ocaml-5mpm3

  • libcoq-ocaml-6pjp3

  • libcoq-ocaml-8eoz7

  • libcoq-ocaml-ilak4

  • libcoq-ocaml-rs5t9

  • libcoq-ocaml-ywd98

  • liblablgtk2-ocaml-dev-e0615

  • liblablgtk2-ocaml-dev-e53h4

  • liblablgtk2-ocaml-dev-il3k6

  • liblablgtksourceview2-ocaml-dev-3yfn9

  • liblablgtksourceview2-ocaml-dev-l26k1

  • liblablgtksourceview2-ocaml-dev-rynx6

  • ocaml-nox-4.05.0