Установка:
Для установки libcoq-ocaml в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Библиотеки времени выполнения для Coq
-
Зависимости:
-
Библиотека 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