Установка:
Для установки libssreflect-ocaml в Ubuntu / Linux Mint / Debian, введите в Терминал:
Подробная информация о пакете:
Малое масштабирование для Coq (плагин)
-
Зависимости:
-
Библиотека GNU C: общие библиотеки
-
libcoq-ocaml-5mpm3
-
libcoq-ocaml-6pjp3
-
libcoq-ocaml-8eoz7
-
libcoq-ocaml-ilak4
-
libcoq-ocaml-rs5t9
-
libcoq-ocaml-ywd98
-
ocaml-base-nox-4.05.0