Установка:

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

sudo apt update
sudo apt install libcoq-ocaml
libcoq-ocaml — библиотеки времени выполнения для Coq

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

Библиотеки времени выполнения для Coq

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

  • libc6

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

  • liblablgtk2-ocaml-e0615

  • liblablgtk2-ocaml-e53h4

  • liblablgtk2-ocaml-il3k6

  • liblablgtksourceview2-ocaml-3yfn9

  • liblablgtksourceview2-ocaml-l26k1

  • liblablgtksourceview2-ocaml-rynx6

  • ocaml-base-nox-4.05.0