Пакет: libcoq-ocaml (8.12.0-3 и другие) [debports]

[ Источник:  ]

runtime libraries for Coq

Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5.

This package provides runtime libraries for Coq.

Другие пакеты, относящиеся к libcoq-ocaml

• dep: libc6.1 (>= 2.1.3)

  библиотека GNU C: динамически подключаемые библиотеки
  также виртуальный пакет, предоставляемый libc6.1-udeb

• dep: libcairo2-ocaml-56yq1

  Пакет недоступен

• dep: liblablgtk3-ocaml-0kl61

  Пакет недоступен

• dep: liblablgtksourceview3-ocaml-0eup3

  Пакет недоступен

• dep: libnum-ocaml-3st20

  виртуальный пакет, предоставляемый libnum-ocaml

• dep: ocaml-base-nox-4.11.1

  Пакет недоступен

Загрузка libcoq-ocaml

Загрузить для всех доступных архитектур

Архитектура	Версия	Размер пакета	В установленном виде	Файлы
alpha (неофициальный перенос)	8.12.0-3+b3	5 333,0 Кб	22 945,0 Кб	[список файлов]